sig
  type lexbuf = Lexing.lexbuf
  val from_channel : Pervasives.in_channel -> Pxp_lexing.lexbuf
  val from_string : string -> Pxp_lexing.lexbuf
  val from_function : (string -> int -> int) -> Pxp_lexing.lexbuf
  val lexeme : Pxp_lexing.lexbuf -> string
  val lexeme_char : Pxp_lexing.lexbuf -> int -> char
  val lexeme_len : Pxp_lexing.lexbuf -> int
  val from_string_inplace : string -> Lexing.lexbuf
  val from_another_string_inplace : Lexing.lexbuf -> string -> unit
  val sub_lexeme : Lexing.lexbuf -> int -> int -> string
end