-val parse_ast_pattern: char Stream.t -> CicNotationPt.term
-
- (** interpretation: notation level 3 *)
-val parse_interpretation: char Stream.t -> CicNotationPt.cic_appl_pattern
+val parse_level2_ast: char Stream.t -> CicNotationPt.term
+val parse_level2_meta: char Stream.t -> CicNotationPt.term