snapshot (implemented level 3 grammar)

[helm.git] / helm / ocaml / cic_notation / cicNotationParser.mli

diff --git a/helm/ocaml/cic_notation/cicNotationParser.mli b/helm/ocaml/cic_notation/cicNotationParser.mli
index fab4d4102b9e7b1416e3a52f8368e20ec4b5b30f..669c8336ca1dc48180e5a162c635223ab61aab2c 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationParser.mli
+++ b/helm/ocaml/cic_notation/cicNotationParser.mli
@@ -33,3 +33,6 @@ val parse_syntax_pattern: char Stream.t -> unit
   (** AST pattern: notation level 2 *)
 val parse_ast_pattern: char Stream.t -> unit
 
+  (** interpretation: notation level 3 *)
+val parse_interpretation: char Stream.t -> unit
+