1 signature GENERAL_GLOBAL =
11 exception Fail of string
17 val exnName: exn -> string
18 val exnMessage: exn -> string
20 datatype order = LESS | EQUAL | GREATER
23 val := : ('a ref * 'a) -> unit
24 val o : (('b -> 'c) * ('a -> 'b)) -> 'a -> 'c
25 val before: ('a * unit) -> 'a
26 val ignore: 'a -> unit
31 include GENERAL_GLOBAL
34 signature GENERAL_EXTRA =
38 val addExnMessager: (exn -> string option) -> unit