equal
deleted
inserted
replaced
7 signature OUTPUT_PRIMITIVES = |
7 signature OUTPUT_PRIMITIVES = |
8 sig |
8 sig |
9 type output = string |
9 type output = string |
10 type serial = int |
10 type serial = int |
11 type properties = (string * string) list |
11 type properties = (string * string) list |
|
12 val ignore_outputs: output list -> unit |
12 val writeln_fn: output list -> unit |
13 val writeln_fn: output list -> unit |
13 val state_fn: output list -> unit |
14 val state_fn: output list -> unit |
14 val information_fn: output list -> unit |
15 val information_fn: output list -> unit |
15 val tracing_fn: output list -> unit |
16 val tracing_fn: output list -> unit |
16 val warning_fn: output list -> unit |
17 val warning_fn: output list -> unit |