sig val init_file : string val prompt_eval : string array -> unit val eval_file : string array -> unit val load_file : string array -> unit val eval_ocaml : string array -> unit end