* passing values of type char Stream.t, they should be in fact Ulexing.lexbuf
* casted with Obj.magic :-/ Read the comment in the .ml for the rationale *)
-val level1_pattern_lexer: (string * string) Token.glexer
-val level2_ast_lexer: (string * string) Token.glexer
-val level2_meta_lexer: (string * string) Token.glexer
+val level1_pattern_lexer: unit -> (string * string) Token.glexer
+val level2_ast_lexer: unit -> (string * string) Token.glexer
+val level2_meta_lexer: unit -> (string * string) Token.glexer
(** XXX ZACK DEFCON 4 END *)
(** {2 Ligatures} *)
-val is_ligature_char: char -> bool
-val lookup_ligatures: string -> string list
-
+val push: unit -> unit
+val pop: unit -> unit