2 * 2004 Matthew Fluet (mfluet@acm.org)
3 * Ported to MLton threads.
8 val assert: (unit -> string) list * (unit -> string) * (unit -> bool) -> unit
9 val assert': string * (unit -> bool) -> unit
10 val assertAtomic: (unit -> string) * int option -> unit
11 val assertNonAtomic: (unit -> string) -> unit
12 val assertAtomic': string * int option -> unit
13 val assertNonAtomic': string -> unit