snapshot (first version in which some extensions work, e.g. infix +)

[helm.git] / helm / ocaml / cic_disambiguation / cicTextualLexer2.mli

diff --git a/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli b/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
index f4cbaa1cb5d2f96fb13156d4b0a5558adadf7abb..7e3ac625bc3625fbf47e48392ec43fd7953a4546 100644 (file)
--- a/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
+++ b/helm/ocaml/cic_disambiguation/cicTextualLexer2.mli
@@ -25,5 +25,8 @@
 
 exception Error of int * int * string
 
-val lex : (string * string) Token.glexer
+  (** lexer
+  * @param comments if true the lexer will return COMMENT tokens, otherwise they
+  *   will be ignored. Defaults to false *)
+val cic_lexer: ?comments:bool -> unit -> (string * string) Token.glexer