val stdlib_dir : string ref
val input_backslash_lines : in_channel -> string -> string
val split_string : string -> char -> string list
val remove_spaces : string -> string
val read_depends : Pathname.t -> string list
val import_depends : ( Pathname.t list list -> 'a ) -> Pathname.t -> Pathname.t -> unit
val read_rmlsim_lines : in_channel -> (string * string) list
val read_rmlsim : Pathname.t -> Pathname.t -> unit
val mk_includes : string -> Command.spec list
val find_rml_stdlib_dir : unit -> unit
val declare_rmllib : unit -> unit
val init : unit -> unit
val rml_lib : ?byte:bool -> ?native:bool -> ?dir:Command.pathname -> ?tag_name:Tags.elt -> Pathname.t -> unit