(************************************************************************) (* v * The Coq Proof Assistant / The Coq Development Team *) (* string list) ref val load_obj : (string -> unit) ref val get_ml_filename : unit -> string * string val compile : string -> global list -> bool * string val compile_library : Names.dir_path -> global list -> string -> bool val call_linker : ?fatal:bool -> string -> string -> code_location_updates option -> unit val link_library : prefix:string -> dirname:string -> basename:string -> unit val rt1 : Nativevalues.t ref val rt2 : Nativevalues.t ref