diff options
| author | Maxime Dénès | 2018-11-05 10:28:44 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2018-11-05 10:28:44 +0100 |
| commit | eb842684456c5a965507c83e7b169ae0d0f6cc90 (patch) | |
| tree | 3e7a55ef60b50af0bab3b4f5db99be35b488a068 /engine/termops.mli | |
| parent | d813a48dcc80ca9763fd48d9e369bd21062c21d8 (diff) | |
| parent | c367e7cd962089d2932b986e5764b8e3844ad4b0 (diff) | |
Merge PR #8842: Towards seeing Global purely as a wrapper on top of kernel functions
Diffstat (limited to 'engine/termops.mli')
| -rw-r--r-- | engine/termops.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/engine/termops.mli b/engine/termops.mli index 1054fbbc5e..07c9541f25 100644 --- a/engine/termops.mli +++ b/engine/termops.mli @@ -282,7 +282,7 @@ val is_global : Evd.evar_map -> GlobRef.t -> constr -> bool val isGlobalRef : Evd.evar_map -> constr -> bool -val is_template_polymorphic : env -> Evd.evar_map -> constr -> bool +val is_template_polymorphic_ind : env -> Evd.evar_map -> constr -> bool val is_Prop : Evd.evar_map -> constr -> bool val is_Set : Evd.evar_map -> constr -> bool |