cduce.mli 321 Bytes
Newer Older
1 2
val version: string

3 4
val quiet: bool ref

5
val print_exn: Format.formatter -> exn -> unit
6

7
val enter_global_value : string -> Value.t -> Types.descr -> unit
8
val run : Format.formatter -> Format.formatter -> char Stream.t -> bool
9
  (* Returns true if everything is ok (no error) *)
10 11

val dump_env : Format.formatter -> unit