Lexbuf (infer.Textuallib.TextualLexer.Lexbuf)

val from_gen : char Gen.t -> lexbuf

val from_channel : IStdlib.IStd.In_channel.t -> lexbuf

val lexeme : lexbuf -> string

val lexing_positions : 
  lexbuf ->
  Stdlib.Lexing.position * Stdlib.Lexing.position

val with_tokenizer : 
  (lexbuf -> 'a) ->
  lexbuf ->
  unit ->
  'a * Stdlib.Lexing.position * Stdlib.Lexing.position