diff options
Diffstat (limited to 'interp/decls.mli')
| -rw-r--r-- | interp/decls.mli | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/interp/decls.mli b/interp/decls.mli index 570f03bbce..ce29197891 100644 --- a/interp/decls.mli +++ b/interp/decls.mli @@ -92,9 +92,3 @@ val variable_opacity : variable -> bool val variable_context : variable -> Univ.ContextSet.t val variable_polymorphic : variable -> bool val variable_exists : variable -> bool - -(** Registration and access to the table of constants *) - -(* Only used in dumpglob *) -val add_constant_kind : Constant.t -> logical_kind -> unit -val constant_kind : Constant.t -> logical_kind |