lib/mlton/basic/fixed-point.sig

   1 (* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  *
   4  * MLton is released under a BSD-style license.
   5  * See the file MLton-LICENSE for details.
   6  *)
   7
   8 signature FIXED_POINT =
   9    sig
  10       val fix: {start: 'a,
  11                 step: 'a -> 'a,
  12                 equals: 'a * 'a -> bool} -> 'a
  13
  14       val fix': ((unit -> unit) -> unit) -> unit
  15    end