[ defs = LIST1 [
name = IDENT;
args = LIST1 [
- PAREN "(" ; names = LIST1 IDENT SEP SYMBOL ",";
- ty = OPT [ SYMBOL ":"; ty = term -> ty ] ; PAREN ")" ->
- (names, ty)
+ PAREN "(" ; names = LIST1 IDENT SEP SYMBOL ",";
+ SYMBOL ":"; ty = term; PAREN ")" ->
+ (names, Some ty)
+ | name = IDENT -> [name],None
];
index_name = OPT [ IDENT "on"; idx = IDENT -> idx ];
ty = OPT [ SYMBOL ":" ; t = term -> t ];