val stdlib_dir : string refval input_backslash_lines : in_channel -> string -> stringval read_depends : Pathname.t -> string listval import_depends :
(Pathname.t list list -> 'a) ->
Pathname.t ->
Pathname.t ->
unitval read_rmlsim_lines : in_channel -> (string * string) listval read_rmlsim : Pathname.t -> Pathname.t -> unitval mk_includes : string -> Command.spec listval link_rmlsim :
string ->
(string -> Pathname.t) ->
(Pathname.t list list -> ('a, exn) My_std.Outcome.t list) ->
Command.tval link_rml :
string ->
(string -> Pathname.t) ->
(Pathname.t list list -> ('a, exn) My_std.Outcome.t list) ->
Command.tval rml_lib :
?byte:bool ->
?native:bool ->
?dir:Command.pathname ->
?tag_name:Tags.elt ->
Pathname.t ->
unit