Safe_checking (rocq-runtime.Coq_checklib.Safe

val import : Safe_typing.safe_environment -> Mod_checking.opaques -> Safe_typing.compiled_library -> Vmlibrary.on_disk -> Safe_typing.vodigest -> Safe_typing.safe_environment * Mod_checking.opaques

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