diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/language/sail.ott b/language/sail.ott index c7ba2e9a..a49a2adc 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -269,7 +269,8 @@ quant_item :: 'QI_' ::= {{ com kinded identifier or Int constraint }} {{ aux _ l }} | kinded_id :: :: id {{ com optionally kinded identifier }} - | n_constraint :: :: const {{ com Int constraint }} + | n_constraint :: :: constraint {{ com constraint }} + | kinded_id0 ... kinded_idn :: :: constant typquant :: 'TypQ_' ::= {{ com type quantifiers and constraints}} |