Module Parser

module Parser: sig  end

val out : unit -> Format.formatter

val pr : ('a, Format.formatter, unit) format -> 'a

val nl : unit -> unit

val equal_width_of : Term.t -> 'a -> int

val lastresult : Result.t Pervasives.ref

val name_of_nonstrict_slack : Name.t

val name_of_strict_slack : Name.t

val yytransl_const : int array

val yytransl_block : int array

val yylhs : string

val yylen : string

val yydefred : string

val yydgoto : string

val yysindex : string

val yyrindex : string

val yygindex : string

val yytablesize : int

val yytable : string

val yycheck : string

val yynames_const : string

val yynames_block : string

val yyact : (Parsing.parser_env -> Obj.t) array

val yytables : Parsing.parse_tables

val termeof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Term.t

val atomeof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Atom.t

val commands : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Result.t

val commandseof : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Result.t

val commandsequence : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> unit