diff options
Diffstat (limited to 'library/decls.mli')
-rw-r--r-- | library/decls.mli | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/library/decls.mli b/library/decls.mli index e84a6376b..1ca7f8946 100644 --- a/library/decls.mli +++ b/library/decls.mli @@ -17,11 +17,7 @@ open Decl_kinds (** Registration and access to the table of variable *) type variable_data = - { dir_path : DirPath.t; - opaque : bool; - universe_context_set : Univ.universe_context_set; - polymorphic : bool; - kind : logical_kind } + DirPath.t * bool (** opacity *) * Univ.universe_context_set * polymorphic * logical_kind val add_variable_data : variable -> variable_data -> unit val variable_path : variable -> DirPath.t |