lib/cml/util/critical.sig

   1 (* critical.sig
   2  * 2004 Matthew Fluet (mfluet@acm.org)
   3  *  Ported to MLton threads.
   4  *)
   5
   6 signature CRITICAL =
   7    sig
   8       val atomicBegin : unit -> unit
   9       val atomicEnd : unit -> unit
  10       val atomicMsg : unit -> string
  11       val doAtomic : (unit -> unit) -> unit
  12
  13       val maskBegin : unit -> unit
  14       val maskEnd : unit -> unit
  15       val doMasked : (unit -> unit) -> unit
  16    end