(** {2 Parsing functions} *)
(** concrete syntax pattern: notation level 1 *)
-val parse_syntax_pattern: char Stream.t -> CicNotationPt.term
+val parse_level1_pattern: char Stream.t -> CicNotationPt.term
(** AST pattern: notation level 2 *)
-val parse_ast_pattern: char Stream.t -> CicNotationPt.term
+val parse_level2_ast: char Stream.t -> CicNotationPt.term
(** interpretation: notation level 3 *)
val parse_interpretation: char Stream.t -> CicNotationPt.cic_appl_pattern