Module Cduce_lib.Cduce_driver

exception Escape of exn
val toplevel : bool Stdlib.ref
val verbose : bool Stdlib.ref
val extra_specs : (string * Stdlib.Arg.spec * string) list Stdlib.ref
val script : Stdlib.Format.formatter -> Stdlib.Format.formatter -> char Stdlib.Stream.t -> bool
val topinput : Stdlib.Format.formatter -> Stdlib.Format.formatter -> char Stdlib.Stream.t -> bool
val dump_env : Stdlib.Format.formatter -> unit
val compile : string -> string option -> unit
val compile_run : string -> unit
val run : string -> unit
val set_argv : string list -> unit
val print_exn : Stdlib.Format.formatter -> exn -> unit
val eval : string -> (Cduce_types.AtomSet.V.t option * Cduce_core.Value.t) list