cduce.mli 284 Bytes
Newer Older
1 2
val quiet: bool ref

3
val enter_global_value : Ident.id -> Value.t -> Types.descr -> unit
4 5
val script   : Format.formatter -> Format.formatter -> char Stream.t -> bool
val toplevel : Format.formatter -> Format.formatter -> char Stream.t -> bool
6 7

val dump_env : Format.formatter -> unit