Module Parse_ho

module Parse_ho: sig .. end

type token =

`\|`	`XOR`
`\|`	`WILDCARD`
`\|`	`VAL`
`\|`	`UPPER_WORD of string`
`\|`	`RIGHT_PAREN`
`\|`	`RIGHT_BRACKET`
`\|`	`RIGHT_BRACE`
`\|`	`RIGHT_ARROW`
`\|`	`PIPE`
`\|`	`OR`
`\|`	`OPERATOR of string`
`\|`	`NOT`
`\|`	`NEQ`
`\|`	`LOWER_WORD of string`
`\|`	`LEFT_PAREN`
`\|`	`LEFT_BRACKET`
`\|`	`LEFT_BRACE`
`\|`	`LEFT_ARROW`
`\|`	`LAMBDA`
`\|`	`INTERROGATION_WORD of string`
`\|`	`INTEGER of string`
`\|`	`IMPLY`
`\|`	`FORALL_TY`
`\|`	`FORALL`
`\|`	`EXISTS`
`\|`	`EQUIV`
`\|`	`EQ`
`\|`	`EOI`
`\|`	`DOT`
`\|`	`DOLLAR_WORD of string`
`\|`	`DOLLAR_DOLLAR_WORD of string`
`\|`	`COMMA`
`\|`	`COLUMN`
`\|`	`AND`

exception Error

val parse_term : (Lexing.lexbuf -> token) ->
       Lexing.lexbuf -> Libzipperposition.STerm.t

val parse_decls : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast_ho.t list

val parse_decl : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast_ho.t