sig
  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 -> Parse_kodkod.token) ->
    Lexing.lexbuf -> Ast_kodkod.model
end