Integration.MergeCapture
val merge_global_tenv : normalize:bool -> IBase.DB.filename list -> unit
Merge tenvs from the given paths and store the result as a global tenv
val merge_captured_targets : root:string -> unit