Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | (* assert.sig |
2 | * 2004 Matthew Fluet (mfluet@acm.org) | |
3 | * Ported to MLton threads. | |
4 | *) | |
5 | ||
6 | signature ASSERT = | |
7 | sig | |
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 | |
14 | end |