Module type Parsing_utils.PARSER

module type PARSER = sig .. end

type token 

val token : Lexing.lexbuf -> token

type 'a parser_ = (Lexing.lexbuf -> token) -> Lexing.lexbuf -> 'a 

val parse_ty : Parsing_utils.ty parser_

val parse_term : Parsing_utils.term parser_

val parse_statement : Parsing_utils.statement parser_

val parse_statement_list : Parsing_utils.statement list parser_