Cduce_jsoo_backend.Toplevel
val init_top : Stdlib.Format.formatter -> unit
val eval_top : Stdlib.Format.formatter -> Stdlib.Format.formatter -> string -> unit