diff options
Diffstat (limited to 'kernel/fast_typeops.mli')
-rw-r--r-- | kernel/fast_typeops.mli | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/kernel/fast_typeops.mli b/kernel/fast_typeops.mli index 4c2c92cc..90d9c55f 100644 --- a/kernel/fast_typeops.mli +++ b/kernel/fast_typeops.mli @@ -6,13 +6,8 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -open Names -open Univ open Term -open Context open Environ -open Entries -open Declarations (** {6 Typing functions (not yet tagged as safe) } |