sig
  val from_input : BatIO.input -> Lexing.lexbuf
  val from_channel : BatIO.input -> Lexing.lexbuf
end