sig
  type ts
  type state
  type error
  type 'a t
  val error : string -> 'a ParserMonad.t
  val showerr : ParserMonad.error -> string
  val return : 'a -> 'a ParserMonad.t
  val ( >>= ) :
    'a ParserMonad.t -> ('a -> 'b ParserMonad.t) -> 'b ParserMonad.t
  val ( >> ) : 'a ParserMonad.t -> 'b ParserMonad.t -> 'b ParserMonad.t
  val ( <.< ) : 'a ParserMonad.t -> 'b ParserMonad.t -> 'a ParserMonad.t
  val ( ^? ) : 'a ParserMonad.t -> string -> 'a ParserMonad.t
  val ( <|> ) : 'a ParserMonad.t -> 'a ParserMonad.t -> 'a ParserMonad.t
  val many : 'a ParserMonad.t -> 'a list ParserMonad.t
  val many1 : 'a ParserMonad.t -> 'a list ParserMonad.t
  val sep : 'a ParserMonad.t -> 'b ParserMonad.t -> 'b list ParserMonad.t
  val opt : 'a ParserMonad.t -> 'a option ParserMonad.t
  val char1 : char ParserMonad.t
  val char_when : (char -> bool) -> char ParserMonad.t
  val char : char -> char ParserMonad.t
  val keyword : string -> string ParserMonad.t
  val make_ident : (char -> bool) -> string ParserMonad.t
  val int : int ParserMonad.t
  val init_state : ParserMonad.state
  val run_ch : 'a ParserMonad.t -> Pervasives.in_channel -> 'a
  val run_stdin : 'a ParserMonad.t -> 'a
  val run_file : 'a ParserMonad.t -> string -> 'a
  val run_string : 'a ParserMonad.t -> string -> 'a
end