Compile (b0.B00_ocaml.Compile)

val c_to_o : 
  ?post_exec:(B000.Op.t -> unit) ->
  ?k:(int -> unit) ->
  B00.Memo.t ->
  comp:B00.Tool.t ->
  opts:B0_std.Cmd.t ->
  reads:B0_std.Fpath.t list ->
  c:B0_std.Fpath.t ->
  o:B0_std.Fpath.t ->
  unit

val mli_to_cmi : 
  ?post_exec:(B000.Op.t -> unit) ->
  ?k:(int -> unit) ->
  and_cmti:bool ->
  B00.Memo.t ->
  comp:B00.Tool.t ->
  opts:B0_std.Cmd.t ->
  reads:B0_std.Fpath.t list ->
  mli:B0_std.Fpath.t ->
  o:B0_std.Fpath.t ->
  unit

val ml_to_cmo : 
  ?post_exec:(B000.Op.t -> unit) ->
  ?k:(int -> unit) ->
  and_cmt:bool ->
  B00.Memo.t ->
  opts:B0_std.Cmd.t ->
  reads:B0_std.Fpath.t list ->
  has_cmi:bool ->
  ml:B0_std.Fpath.t ->
  o:B0_std.Fpath.t ->
  unit

val ml_to_cmx : 
  ?post_exec:(B000.Op.t -> unit) ->
  ?k:(int -> unit) ->
  and_cmt:bool ->
  B00.Memo.t ->
  opts:B0_std.Cmd.t ->
  reads:B0_std.Fpath.t list ->
  has_cmi:bool ->
  ml:B0_std.Fpath.t ->
  o:B0_std.Fpath.t ->
  unit

val ml_to_impl : 
  ?post_exec:(B000.Op.t -> unit) ->
  ?k:(int -> unit) ->
  B00.Memo.t ->
  code:Conf.code ->
  opts:B0_std.Cmd.t ->
  reads:B0_std.Fpath.t list ->
  has_cmi:bool ->
  ml:B0_std.Fpath.t ->
  o:B0_std.Fpath.t ->
  and_cmt:bool ->
  unit

val mod_src_intf : 
  and_cmti:bool ->
  B00.Memo.t ->
  comp:B00.Tool.t ->
  opts:B0_std.Cmd.t ->
  requires:Lib.t list ->
  mod_srcs:Mod.Src.t Mod.Name.Map.t ->
  Mod.Src.t ->
  unit

val mod_src_impl : 
  and_cmt:bool ->
  B00.Memo.t ->
  code:Conf.code ->
  opts:B0_std.Cmd.t ->
  requires:Lib.t list ->
  mod_srcs:Mod.Src.t Mod.Name.Map.t ->
  Mod.Src.t ->
  unit

val intfs : 
  and_cmti:bool ->
  B00.Memo.t ->
  comp:B00.Tool.t ->
  opts:B0_std.Cmd.t ->
  requires:Lib.t list ->
  mod_srcs:Mod.Src.t Mod.Name.Map.t ->
  unit

val impls : 
  and_cmt:bool ->
  B00.Memo.t ->
  code:Conf.code ->
  opts:B0_std.Cmd.t ->
  requires:Lib.t list ->
  mod_srcs:Mod.Src.t Mod.Name.Map.t ->
  unit