[ LPAREN; id = single_arg; SYMBOL ":"; typ = term; RPAREN ->
id, Some typ
| arg = single_arg -> arg, None
+ | SYMBOL "_" -> Ast.Ident ("_", None), None
]
];
match_pattern: [
parse_level2_ast_ref := parse_level2_ast;
parse_level2_meta_ref := parse_level2_meta
+let parse_term lexbuf =
+ exc_located_wrapper
+ (fun () -> (Grammar.Entry.parse term (Obj.magic lexbuf)))
+
(** {2 Debugging} *)
let print_l2_pattern () =