Javert_utils.Io_utils
val harness_path : unit -> string
val load_file : string -> string
val harness : unit -> string
val load_js_file : string -> string