diff options
Diffstat (limited to 'kernel/evd.mli')
| -rw-r--r-- | kernel/evd.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/kernel/evd.mli b/kernel/evd.mli index bdbd759156..899abb2034 100644 --- a/kernel/evd.mli +++ b/kernel/evd.mli @@ -42,3 +42,6 @@ val define : 'a evar_map -> section_path -> constr -> 'a evar_map val non_instantiated : 'a evar_map -> (section_path * 'a evar_info) list val is_evar : 'a evar_map -> section_path -> bool + +val is_defined : 'a evar_map -> section_path -> bool + |