diff options
| author | Kenji Maillard | 2019-10-31 14:40:01 +0100 |
|---|---|---|
| committer | Kenji Maillard | 2019-10-31 17:04:19 +0100 |
| commit | e29ffc8c2dac2f9ea96541e95f027e29c0810499 (patch) | |
| tree | 15fda15b99514b94feec343f7c1722a73f024579 /user-contrib/Ltac2/tac2env.mli | |
| parent | bc70919118fe5450c3bb798632d64823659f4814 (diff) | |
enforcing Ltac2 constructor name are uppercased
Diffstat (limited to 'user-contrib/Ltac2/tac2env.mli')
| -rw-r--r-- | user-contrib/Ltac2/tac2env.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/user-contrib/Ltac2/tac2env.mli b/user-contrib/Ltac2/tac2env.mli index 1dfc3400a1..670c8735ee 100644 --- a/user-contrib/Ltac2/tac2env.mli +++ b/user-contrib/Ltac2/tac2env.mli @@ -151,4 +151,5 @@ val wit_ltac2_quotation : (Id.t Loc.located, Id.t, Util.Empty.t) genarg_type (** {5 Helper functions} *) +val is_constructor_id : Id.t -> bool val is_constructor : qualid -> bool |