Module Parse_kodkod

module Parse_kodkod: sig .. end

type token =

`\|`	`SECTION of Ast_kodkod.section`
`\|`	`R_BRACKET`
`\|`	`R_BRACE`
`\|`	`RELATION`
`\|`	`L_BRACKET`
`\|`	`L_BRACE`
`\|`	`IDENT of string`
`\|`	`EQUAL`
`\|`	`COMMA`
`\|`	`COLON`
`\|`	`ATOM of int`

exception Error

val parse_model : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Ast_kodkod.model