- | 1 -> CicNotationLexer.syntax_pattern_lexer
- | 2 -> CicNotationLexer.ast_pattern_lexer
- | _ -> Arg.usage arg_spec usage; exit 1
+ "1" -> CicNotationLexer.level1_pattern_lexer
+ | "2@" -> CicNotationLexer.level2_ast_lexer
+ | "2$" -> CicNotationLexer.level2_meta_lexer
+ | l ->
+ prerr_endline (Printf.sprintf "Unsupported level %s" l);
+ exit 2