cduce.mli 393 Bytes
Newer Older
1 2 3 4
val typing_env: Typer.env ref  (* Types of toplevel bindings *)
val eval_env: Eval.env ref     (* Values of toplevel bindings *)
val glb_env: Typer.glb ref     (* Global types *)

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

7
val run : Format.formatter -> Format.formatter -> char Stream.t -> bool
8
  (* Returns true if everything is ok (no error) *)
9 10

val dump_env : Format.formatter -> unit