Link (b0.B0_ocaml.Link)

val byte : 
  ?post_exec:(B0_zero.Op.t -> unit) ->
  ?k:(B0_zero.Op.t -> int -> unit) ->
  B0_memo.t ->
  conf:Conf.t ->
  opts:B0_std.Cmd.t ->
  c_objs:B0_std.Fpath.t list ->
  cobjs:B0_std.Fpath.t list ->
  o:B0_std.Fpath.t ->
  unit

byte_exe m ~opts ~c_objs ~cmos ~o links the C objects c_objs and the OCaml compilation object files cobjs into a byte code executable o compiled in -custom mode. In cobjs you need to add the dll of cma files that have stubs (they are not added to the invocation but the compiler reads them).

val native : 
  ?post_exec:(B0_zero.Op.t -> unit) ->
  ?k:(B0_zero.Op.t -> int -> unit) ->
  B0_memo.t ->
  conf:Conf.t ->
  opts:B0_std.Cmd.t ->
  c_objs:B0_std.Fpath.t list ->
  cobjs:B0_std.Fpath.t list ->
  o:B0_std.Fpath.t ->
  unit

byte_exe m ~opts ~c_objs ~cobjs ~o links the C objects c_objs and the OCaml compilation object files cobjs into a native code executable o, in cobjs you need to add the C lib_ext file of cmxa files if they exist (since 4.12 they may not exist) and their C stubs if they have some (they are not added to the invocation but the compiler reads them). An include is added to each element of cobjs in order to lookup potential C stubs.

val code : 
  ?post_exec:(B0_zero.Op.t -> unit) ->
  ?k:(B0_zero.Op.t -> int -> unit) ->
  B0_memo.t ->
  conf:Conf.t ->
  opts:B0_std.Cmd.t ->
  code:Code.t ->
  c_objs:B0_std.Fpath.t list ->
  cobjs:B0_std.Fpath.t list ->
  o:B0_std.Fpath.t ->
  unit

code is byte or native according to code.