diff options
| author | Pierre-Marie Pédrot | 2020-04-30 14:10:16 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-04-30 14:10:16 +0200 |
| commit | d436c45a19de2f91aad94f492b547225f8c5b305 (patch) | |
| tree | b666e829b6545ba38170dcf79276714dd89cbe32 /kernel/safe_typing.mli | |
| parent | 010ef152611977770fa137ed5980205d412febe5 (diff) | |
| parent | 7a4e7dfbaa8dc3fa92931c4bfa39d268940e08f8 (diff) | |
Merge PR #12107: Remove mod_constraints field of module body
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/safe_typing.mli')
| -rw-r--r-- | kernel/safe_typing.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/safe_typing.mli b/kernel/safe_typing.mli index f5bd27ca12..b601279e87 100644 --- a/kernel/safe_typing.mli +++ b/kernel/safe_typing.mli @@ -194,6 +194,7 @@ type compiled_library type native_library = Nativecode.global list val module_of_library : compiled_library -> Declarations.module_body +val univs_of_library : compiled_library -> Univ.ContextSet.t val start_library : DirPath.t -> ModPath.t safe_transformer |