Safe_checking (rocq-runtime.Coq_checklib.Safe

val import : Safe_typing.safe_environment -> Names.Cset.t Names.Cmap.t -> Safe_typing.compiled_library -> Vmlibrary.on_disk -> Safe_typing.vodigest -> Safe_typing.safe_environment * Names.Cset.t Names.Cmap.t

val unsafe_import : Safe_typing.safe_environment -> Safe_typing.compiled_library -> Vmlibrary.on_disk -> Safe_typing.vodigest -> Safe_typing.safe_environment