sig
  type token
  val token : Lexing.lexbuf -> Parsing_utils.PARSER.token
  type 'a parser_ =
      (Lexing.lexbuf -> Parsing_utils.PARSER.token) -> Lexing.lexbuf -> 'a
  val parse_ty : Parsing_utils.ty Parsing_utils.PARSER.parser_
  val parse_term : Parsing_utils.term Parsing_utils.PARSER.parser_
  val parse_statement : Parsing_utils.statement Parsing_utils.PARSER.parser_
  val parse_statement_list :
    Parsing_utils.statement list Parsing_utils.PARSER.parser_
end