snapshot

[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 669c8336ca1dc48180e5a162c635223ab61aab2c..1ce20fe9a8f7223ed00f4a44119120155b17ff12 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationParser.mli
+++ b/helm/ocaml/cic_notation/cicNotationParser.mli
@@ -28,10 +28,10 @@ exception Parse_error of Token.flocation * string
 (** {2 Parsing functions} *)
 
   (** concrete syntax pattern: notation level 1 *)
-val parse_syntax_pattern: char Stream.t -> unit
+val parse_syntax_pattern: char Stream.t -> CicNotationPt.term
 
   (** AST pattern: notation level 2 *)
-val parse_ast_pattern: char Stream.t -> unit
+val parse_ast_pattern:    char Stream.t -> CicNotationPt.term
 
   (** interpretation: notation level 3 *)
 val parse_interpretation: char Stream.t -> unit