diff options
Diffstat (limited to 'grammar.txt')
| -rw-r--r-- | grammar.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammar.txt b/grammar.txt index 607d759..516a248 100644 --- a/grammar.txt +++ b/grammar.txt @@ -13,7 +13,7 @@ set_field = "." , lower_ident , ":" , set ; variant_set = "variant" , "[" , [ variant_field { "|" , variant_field } ] , "]" ; variant_field = lower_ident , "." , ":" , set ; builtin_set = "Nat" | "Int" | "Float" | "Str" | "Bool" ; -claimed_set = "set" , "(" , instance , ")" ; +claimed_set = "set-of" , "(" , instance , ")" ; signature = "Set" | theory_sig | function_sig | sig_var | "(" , signature , ")" ; theory_sig = "theory" , "{" , [ sig_field { "," , sig_field } ] , "}" ; |