diff options
Diffstat (limited to 'interp/coqlib.mli')
| -rw-r--r-- | interp/coqlib.mli | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/interp/coqlib.mli b/interp/coqlib.mli index d9c0d3ae0..b8e461665 100644 --- a/interp/coqlib.mli +++ b/interp/coqlib.mli @@ -55,11 +55,14 @@ val check_required_library : string list -> unit (** Modules *) val logic_module : DirPath.t +val logic_module_name : string list + val logic_type_module : DirPath.t + val jmeq_module : DirPath.t +val jmeq_module_name : string list val datatypes_module_name : string list -val logic_module_name : string list (** Natural numbers *) val nat_path : full_path |