Parameter Make.1-P

type handle
module Unit_header : sig ... end
val init : unit -> unit
val is_native : bool
val adapt_filename : Compdynlink_types.filename -> Compdynlink_types.filename
val num_globals_inited : unit -> int
val fold_initial_units : init:'a -> f:('a -> comp_unit:string -> interface:Stdlib.Digest.t option -> implementation:(Stdlib.Digest.t option * Compdynlink_types.implem_state) option -> defined_symbols:string list -> 'a) -> 'a
val load : filename:Compdynlink_types.filename -> priv:bool -> handle * Unit_header.t list
val run : handle -> unit_header:Unit_header.t -> priv:bool -> unit
val finish : handle -> unit