diff options
Diffstat (limited to 'language')
| -rw-r--r-- | language/sail.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/sail.ott b/language/sail.ott index a1dc03f4..2edffcbe 100644 --- a/language/sail.ott +++ b/language/sail.ott @@ -238,7 +238,7 @@ typ :: 'Typ_' ::= {{ com defined type }} | kid :: :: var {{ com type variable }} - | typ1 -> typ2 effectkw effect :: :: fn + | ( typ1 , ... , typn ) -> typ2 effectkw effect :: :: fn {{ com Function (first-order only in user code) }} | typ1 <-> typ2 :: :: bidir {{ com Mapping }} |