-val parse_ast_pattern: char Stream.t -> CicNotationPt.term
-
- (** interpretation: notation level 3 *)
-val parse_interpretation: char Stream.t -> CicNotationPt.cic_appl_pattern
-
- (** top level phrases *)
-val parse_phrase: char Stream.t -> CicNotationPt.phrase
+val parse_level2_ast: Ulexing.lexbuf -> CicNotationPt.term
+val parse_level2_meta: Ulexing.lexbuf -> CicNotationPt.term