Module Yparser

module Yparser: sig .. end

type token =

`\|`	`SAT`
`\|`	`UNSAT`
`\|`	`NEWLINE`
`\|`	`COMMENT`
`\|`	`EOF`
`\|`	`LPAREN`
`\|`	`RPAREN`
`\|`	`EQUALS`
`\|`	`NEQUALS`
`\|`	`LT`
`\|`	`LTE`
`\|`	`GT`
`\|`	`GTE`
`\|`	`AND`
`\|`	`OR`
`\|`	`PLUS`
`\|`	`MINUS`
`\|`	`MULTIPLY`
`\|`	`DIVIDE`
`\|`	`NEG`
`\|`	`CARET`
`\|`	`INTEGER of int`
`\|`	`IDENTIFIER of string`

val input : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Yices.yexp list