type token = | IDENT of (Fol.ident) | PLUS | MOINS | PLUSPLUS | INTER | FLECHE | CROCHETG | CROCHETD | RESTD | RESTG | POINT | TILDE | PARG | PARD | UNIV | IDEN | NONE | BARRE | IF | THEN | ELSE | LET | VIRGULE | EQ | OR | IMPLIES | AND | NOT | SOME | NO | LONE | ONE | IN | ALL | ACCG | ACCD | DP | SET | DIV | SIG | ABSTRACT | EXTENDS | PRED | FUN | FACT | ASSERT | CHECK | RUN | OPEN | MODULE | EXACTLY | FOR | BUT | INT | LT | GT | EOF | EXPECTS open Parsing;; # 2 "alloyparse.mly" open Fol let parse_error s = let st = Parsing.symbol_start_pos () and en = Parsing.symbol_end_pos () in failwith ("Syntax error at surat " ^ string_of_int st.Lexing.pos_lnum ^ ":" ^ string_of_int (st.Lexing.pos_cnum - st.Lexing.pos_bol) ^ " - " ^ string_of_int en.Lexing.pos_lnum ^ ":" ^ string_of_int (en.Lexing.pos_cnum - en.Lexing.pos_bol) ^ " : " ^ s) # 70 "alloyparse.ml" let yytransl_const = [| 258 (* PLUS *); 259 (* MOINS *); 260 (* PLUSPLUS *); 261 (* INTER *); 262 (* FLECHE *); 263 (* CROCHETG *); 264 (* CROCHETD *); 265 (* RESTD *); 266 (* RESTG *); 267 (* POINT *); 268 (* TILDE *); 269 (* PARG *); 270 (* PARD *); 271 (* UNIV *); 272 (* IDEN *); 273 (* NONE *); 274 (* BARRE *); 275 (* IF *); 276 (* THEN *); 277 (* ELSE *); 278 (* LET *); 279 (* VIRGULE *); 280 (* EQ *); 281 (* OR *); 282 (* IMPLIES *); 283 (* AND *); 284 (* NOT *); 285 (* SOME *); 286 (* NO *); 287 (* LONE *); 288 (* ONE *); 289 (* IN *); 290 (* ALL *); 291 (* ACCG *); 292 (* ACCD *); 293 (* DP *); 294 (* SET *); 295 (* DIV *); 296 (* SIG *); 297 (* ABSTRACT *); 298 (* EXTENDS *); 299 (* PRED *); 300 (* FUN *); 301 (* FACT *); 302 (* ASSERT *); 303 (* CHECK *); 304 (* RUN *); 305 (* OPEN *); 306 (* MODULE *); 307 (* EXACTLY *); 308 (* FOR *); 309 (* BUT *); 310 (* INT *); 311 (* LT *); 312 (* GT *); 0 (* EOF *); 313 (* EXPECTS *); 0|] let yytransl_block = [| 257 (* IDENT *); 0|] let yylhs = "\255\255\ \002\000\004\000\003\000\003\000\003\000\005\000\005\000\005\000\ \006\000\006\000\007\000\007\000\008\000\008\000\009\000\009\000\ \010\000\010\000\011\000\011\000\012\000\012\000\013\000\013\000\ \014\000\014\000\015\000\015\000\016\000\016\000\017\000\017\000\ \018\000\018\000\019\000\019\000\020\000\020\000\021\000\021\000\ \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\ \022\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\ \025\000\027\000\027\000\027\000\028\000\026\000\029\000\029\000\ \032\000\032\000\034\000\034\000\031\000\031\000\030\000\030\000\ \033\000\033\000\037\000\037\000\035\000\035\000\036\000\036\000\ \039\000\039\000\041\000\041\000\038\000\038\000\040\000\040\000\ \042\000\042\000\042\000\042\000\042\000\042\000\042\000\042\000\ \042\000\042\000\042\000\042\000\042\000\043\000\043\000\043\000\ \043\000\043\000\043\000\043\000\043\000\043\000\047\000\047\000\ \044\000\048\000\048\000\046\000\049\000\049\000\049\000\045\000\ \045\000\024\000\024\000\050\000\050\000\051\000\051\000\052\000\ \052\000\052\000\053\000\053\000\053\000\054\000\054\000\055\000\ \056\000\056\000\056\000\056\000\057\000\057\000\057\000\058\000\ \058\000\059\000\059\000\059\000\059\000\059\000\059\000\059\000\ \059\000\059\000\059\000\059\000\060\000\060\000\060\000\061\000\ \061\000\063\000\063\000\062\000\062\000\062\000\064\000\064\000\ \064\000\065\000\065\000\066\000\066\000\067\000\067\000\068\000\ \001\000\000\000" let yylen = "\002\000\ \001\000\001\000\001\000\003\000\003\000\001\000\003\000\003\000\ \001\000\003\000\001\000\003\000\001\000\003\000\001\000\003\000\ \001\000\003\000\001\000\003\000\001\000\004\000\001\000\004\000\ \001\000\003\000\001\000\003\000\001\000\003\000\001\000\003\000\ \001\000\003\000\001\000\003\000\001\000\002\000\001\000\002\000\ \003\000\002\000\001\000\001\000\001\000\001\000\003\000\006\000\ \001\000\003\000\002\000\001\000\001\000\001\000\001\000\001\000\ \002\000\001\000\003\000\001\000\003\000\001\000\001\000\001\000\ \001\000\001\000\003\000\003\000\003\000\003\000\001\000\003\000\ \001\000\003\000\001\000\001\000\001\000\001\000\001\000\001\000\ \003\000\003\000\003\000\003\000\001\000\002\000\001\000\002\000\ \003\000\001\000\002\000\002\000\002\000\002\000\002\000\003\000\ \003\000\003\000\003\000\003\000\002\000\003\000\001\000\002\000\ \002\000\002\000\002\000\002\000\003\000\003\000\002\000\001\000\ \003\000\000\000\002\000\001\000\003\000\005\000\003\000\002\000\ \003\000\002\000\003\000\001\000\003\000\002\000\003\000\001\000\ \003\000\003\000\003\000\004\000\003\000\003\000\003\000\003\000\ \000\000\001\000\003\000\003\000\003\000\004\000\003\000\003\000\ \001\000\003\000\005\000\005\000\004\000\009\000\002\000\003\000\ \003\000\001\000\002\000\001\000\001\000\002\000\002\000\000\000\ \001\000\001\000\001\000\002\000\004\000\006\000\001\000\003\000\ \001\000\001\000\003\000\002\000\003\000\000\000\002\000\002\000\ \003\000\002\000" let yydefred = "\000\000\ \000\000\000\000\000\000\178\000\000\000\000\000\176\000\156\000\ \000\000\157\000\000\000\000\000\000\000\000\000\000\000\162\000\ \163\000\000\000\000\000\000\000\154\000\000\000\000\000\000\000\ \159\000\158\000\000\000\000\000\000\000\000\000\151\000\000\000\ \155\000\175\000\000\000\000\000\177\000\144\000\000\000\000\000\ \000\000\152\000\056\000\000\000\000\000\000\000\053\000\054\000\ \055\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\035\000\039\000\000\000\000\000\062\000\063\000\064\000\ \000\000\071\000\000\000\077\000\078\000\000\000\080\000\085\000\ \087\000\000\000\000\000\153\000\000\000\000\000\000\000\146\000\ \000\000\000\000\126\000\000\000\000\000\149\000\000\000\000\000\ \000\000\051\000\000\000\000\000\000\000\040\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\ \000\000\003\000\000\000\009\000\000\000\013\000\000\000\017\000\ \000\000\021\000\000\000\025\000\000\000\029\000\000\000\033\000\ \037\000\000\000\000\000\060\000\000\000\057\000\000\000\086\000\ \088\000\000\000\000\000\092\000\105\000\000\000\000\000\116\000\ \093\000\106\000\000\000\000\000\094\000\107\000\095\000\108\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\112\000\101\000\ \115\000\000\000\000\000\000\000\113\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\169\000\000\000\ \000\000\000\000\127\000\000\000\161\000\000\000\120\000\000\000\ \000\000\122\000\000\000\000\000\038\000\000\000\000\000\050\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \099\000\100\000\098\000\097\000\110\000\096\000\109\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\036\000\ \111\000\069\000\070\000\072\000\074\000\081\000\082\000\000\000\ \084\000\148\000\000\000\000\000\136\000\000\000\147\000\000\000\ \172\000\000\000\000\000\000\000\130\000\000\000\000\000\133\000\ \129\000\000\000\000\000\121\000\123\000\000\000\000\000\004\000\ \000\000\005\000\000\000\010\000\000\000\014\000\000\000\018\000\ \000\000\000\000\026\000\000\000\030\000\000\000\034\000\047\000\ \061\000\059\000\119\000\000\000\024\000\139\000\000\000\000\000\ \143\000\140\000\173\000\000\000\168\000\166\000\171\000\000\000\ \132\000\000\000\125\000\000\000\000\000\000\000\142\000\000\000\ \135\000\000\000\000\000\118\000\150\000\048\000" let yydgoto = "\002\000\ \004\000\192\000\112\000\057\000\175\000\114\000\115\000\116\000\ \117\000\118\000\119\000\120\000\121\000\122\000\123\000\124\000\ \125\000\126\000\127\000\128\000\066\000\129\000\067\000\196\000\ \142\000\069\000\134\000\135\000\070\000\071\000\072\000\000\000\ \073\000\000\000\074\000\075\000\000\000\076\000\077\000\078\000\ \079\000\080\000\081\000\082\000\099\000\143\000\168\000\083\000\ \144\000\193\000\040\000\092\000\093\000\000\001\088\000\177\000\ \178\000\007\000\019\000\020\000\190\000\021\000\022\000\182\000\ \183\000\184\000\023\000\005\000" let yysindex = "\064\000\ \221\254\000\000\103\255\000\000\239\255\092\255\000\000\000\000\ \041\255\000\000\095\255\136\255\138\255\055\255\142\255\000\000\ \000\000\103\255\239\255\169\255\000\000\173\255\187\000\103\255\ \000\000\000\000\178\255\178\255\167\255\165\002\000\000\167\255\ \000\000\000\000\172\255\161\255\000\000\000\000\052\255\167\255\ \180\255\000\000\000\000\004\255\022\004\141\002\000\000\000\000\ \000\000\208\255\165\002\230\003\230\003\250\003\250\003\227\255\ \089\255\014\000\228\255\225\255\230\255\241\255\244\255\246\255\ \248\255\000\000\000\000\000\255\165\002\000\000\000\000\000\000\ \236\255\000\000\224\255\000\000\000\000\243\255\000\000\000\000\ \000\000\000\000\231\255\000\000\250\003\017\000\024\000\000\000\ \110\255\017\255\000\000\022\000\011\000\000\000\005\000\222\003\ \030\255\000\000\000\000\002\000\250\003\000\000\000\000\004\255\ \250\003\141\002\000\000\000\000\000\000\165\002\047\000\000\000\ \050\000\000\000\068\000\000\000\085\000\000\000\086\000\000\000\ \087\000\000\000\082\000\000\000\096\000\000\000\097\000\000\000\ \000\000\040\255\083\000\000\000\088\000\000\000\100\000\000\000\ \000\000\013\255\250\003\000\000\000\000\089\000\000\255\000\000\ \000\000\000\000\000\255\002\000\000\000\000\000\000\000\000\000\ \082\255\000\255\250\003\250\003\022\004\022\004\022\004\022\004\ \022\004\250\003\022\004\022\004\022\004\165\002\000\000\000\000\ \000\000\165\002\165\002\165\002\000\000\074\000\050\000\083\255\ \075\000\101\000\074\000\071\000\019\255\053\000\000\000\113\000\ \136\000\026\255\000\000\136\000\000\000\250\003\000\000\119\000\ \124\000\000\000\093\000\000\000\000\000\158\000\159\000\000\000\ \250\003\250\003\250\003\250\003\250\003\250\003\250\003\250\003\ \250\003\141\002\000\000\250\003\208\255\227\255\250\003\250\003\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\228\255\ \228\255\225\255\230\255\241\255\172\000\246\255\248\255\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\243\255\ \000\000\000\000\017\000\033\255\000\000\017\000\000\000\185\000\ \000\000\164\255\134\000\164\255\000\000\183\000\191\000\000\000\ \000\000\162\000\250\003\000\000\000\000\000\000\250\003\000\000\ \068\000\000\000\068\000\000\000\085\000\000\000\086\000\000\000\ \087\000\190\000\000\000\096\000\000\000\097\000\000\000\000\000\ \000\000\000\000\000\000\170\000\000\000\000\000\183\000\198\000\ \000\000\000\000\000\000\200\000\000\000\000\000\000\000\201\000\ \000\000\250\003\000\000\182\000\000\000\227\255\000\000\183\000\ \000\000\168\000\250\003\000\000\000\000\000\000" let yyrindex = "\000\000\ \000\000\000\000\000\000\000\000\205\001\037\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\205\001\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\171\000\000\000\000\000\ \000\000\000\000\000\000\055\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\030\003\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\127\255\167\000\097\255\192\003\154\000\142\003\110\003\ \046\003\000\000\000\000\000\000\171\000\000\000\000\000\000\000\ \000\000\000\000\181\000\000\000\000\000\252\255\000\000\000\000\ \000\000\030\002\000\000\000\000\000\000\192\000\000\000\000\000\ \000\000\000\000\000\000\000\000\207\001\000\000\002\004\000\000\ \000\000\000\000\067\002\030\003\000\000\000\000\209\000\231\002\ \000\000\000\000\246\000\027\001\064\001\000\000\000\000\000\000\ \132\255\000\000\156\003\000\000\136\003\000\000\128\000\000\000\ \186\002\000\000\040\003\000\000\244\002\000\000\141\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\042\255\000\000\ \000\000\249\001\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\101\001\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\186\001\000\000\000\000\001\000\073\000\000\000\019\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\018\255\ \000\000\000\000\000\000\138\001\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\104\002\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\183\002\ \219\002\192\255\200\003\168\003\000\000\118\003\078\003\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\045\000\ \000\000\000\000\192\000\000\000\000\000\192\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\084\255\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\175\001\000\000\000\000\ \184\003\000\000\188\003\000\000\152\003\000\000\104\003\000\000\ \072\003\000\000\000\000\254\002\000\000\199\002\000\000\000\000\ \000\000\000\000\000\000\061\255\000\000\000\000\074\255\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\212\001\000\000\000\000\080\255\ \000\000\000\000\000\000\000\000\000\000\000\000" let yygindex = "\000\000\ \000\000\212\255\000\000\030\000\226\255\041\000\094\000\020\002\ \005\001\053\002\225\000\062\002\063\000\000\000\024\001\063\002\ \040\000\064\002\018\000\155\255\240\255\000\000\000\000\217\255\ \238\255\213\255\060\002\000\000\000\000\174\000\112\002\000\000\ \117\002\000\000\000\000\000\000\000\000\211\255\118\002\218\255\ \119\002\000\000\000\000\115\000\000\000\184\000\084\000\220\002\ \056\255\166\255\008\003\056\000\000\000\038\255\215\255\003\000\ \000\000\020\000\000\000\000\000\000\000\000\000\000\000\000\000\ \121\255\000\000\018\003\000\000" let yytablesize = 1319 let yytable = "\058\000\ \167\000\111\000\131\000\197\000\098\000\136\000\195\000\140\000\ \145\000\149\000\151\000\068\000\137\000\027\001\003\000\113\000\ \096\000\166\000\170\000\249\000\058\000\113\000\113\000\113\000\ \113\000\033\001\254\000\130\000\102\000\103\000\148\000\124\000\ \068\000\031\001\030\000\214\000\145\000\033\000\058\000\185\000\ \174\000\105\000\139\000\038\000\107\000\108\000\109\000\065\000\ \110\000\215\000\068\000\050\000\090\000\186\000\164\000\029\000\ \111\000\210\000\097\000\058\000\098\000\198\000\131\000\255\000\ \001\000\091\000\199\000\097\000\065\000\064\000\032\001\250\000\ \165\000\124\000\030\000\113\000\058\000\049\001\117\000\058\000\ \025\000\141\000\146\000\150\000\152\000\194\000\065\000\130\000\ \102\000\030\000\064\000\068\000\062\000\134\000\198\000\117\000\ \141\000\131\000\011\000\011\000\011\000\052\001\134\000\006\000\ \214\000\243\000\131\000\023\001\064\000\141\000\220\000\222\000\ \155\000\062\000\037\001\134\000\039\001\229\000\215\000\244\000\ \011\000\156\000\233\000\059\000\113\000\113\000\238\000\065\000\ \031\000\011\000\024\000\062\000\242\000\240\000\026\000\058\000\ \027\000\247\000\028\000\058\000\058\000\058\000\032\000\042\000\ \059\000\002\001\084\000\068\000\232\000\064\000\002\000\068\000\ \068\000\068\000\094\000\002\000\002\000\002\000\002\000\002\000\ \180\000\018\001\059\000\181\000\002\000\024\001\233\000\025\001\ \043\001\035\000\028\001\024\001\062\000\036\000\065\000\065\000\ \065\000\065\000\065\000\113\000\065\000\231\000\167\000\065\000\ \221\000\223\000\037\000\065\000\065\000\065\000\039\000\130\000\ \232\000\012\000\012\000\012\000\064\000\064\000\064\000\064\000\ \064\000\030\000\230\000\059\000\085\000\064\000\086\000\132\000\ \133\000\064\000\064\000\064\000\089\000\087\000\180\000\012\000\ \095\000\036\001\044\001\062\000\062\000\062\000\062\000\228\000\ \012\000\022\001\217\000\153\000\062\000\160\000\218\000\159\000\ \062\000\062\000\062\000\161\000\147\000\219\000\008\000\154\000\ \253\000\008\001\010\001\001\001\167\000\030\001\020\001\162\000\ \034\001\171\000\224\000\225\000\163\000\050\001\061\000\164\000\ \167\000\167\000\165\000\059\000\170\000\167\000\054\001\059\000\ \059\000\059\000\173\000\017\001\167\000\172\000\009\000\157\000\ \158\000\176\000\170\000\061\000\079\000\079\000\010\000\011\000\ \179\000\012\000\013\000\014\000\015\000\016\000\017\000\018\000\ \167\000\188\000\060\000\187\000\145\000\061\000\009\001\011\001\ \167\000\167\000\189\000\167\000\167\000\167\000\167\000\167\000\ \167\000\167\000\170\000\201\000\202\000\063\000\164\000\060\000\ \097\000\167\000\170\000\170\000\200\000\170\000\170\000\170\000\ \170\000\170\000\170\000\170\000\145\000\083\000\083\000\203\000\ \165\000\060\000\063\000\170\000\145\000\145\000\061\000\145\000\ \145\000\145\000\145\000\145\000\145\000\145\000\164\000\234\000\ \236\000\204\000\207\000\205\000\063\000\206\000\164\000\164\000\ \211\000\164\000\164\000\164\000\164\000\164\000\164\000\164\000\ \165\000\208\000\216\000\209\000\086\000\251\000\245\000\212\000\ \165\000\165\000\060\000\165\000\165\000\165\000\165\000\165\000\ \165\000\165\000\213\000\246\000\248\000\061\000\061\000\061\000\ \227\000\015\000\015\000\015\000\015\000\063\000\061\000\252\000\ \090\000\004\001\061\000\061\000\061\000\003\001\031\000\031\000\ \031\000\031\000\031\000\031\000\005\001\031\000\031\000\015\000\ \015\000\015\000\015\000\019\000\019\000\019\000\019\000\019\000\ \015\000\060\000\060\000\226\000\031\000\031\000\031\000\031\000\ \006\000\006\000\060\000\006\001\015\001\031\000\060\000\060\000\ \060\000\019\000\007\001\029\001\063\000\063\000\063\000\063\000\ \063\000\035\001\019\000\038\001\040\001\063\000\006\000\041\001\ \046\001\063\000\063\000\063\000\042\001\045\001\047\001\006\000\ \249\000\048\001\051\001\053\001\174\000\073\000\114\000\013\001\ \049\000\049\000\056\000\056\000\056\000\056\000\056\000\056\000\ \049\000\056\000\056\000\056\000\049\000\049\000\049\000\049\000\ \049\000\049\000\049\000\137\000\049\000\049\000\049\000\049\000\ \056\000\056\000\056\000\056\000\049\000\049\000\049\000\049\000\ \049\000\056\000\049\000\049\000\049\000\044\000\044\000\053\000\ \053\000\053\000\053\000\053\000\053\000\044\000\053\000\053\000\ \053\000\044\000\044\000\044\000\044\000\044\000\044\000\044\000\ \049\000\044\000\044\000\044\000\044\000\053\000\053\000\053\000\ \053\000\044\000\044\000\044\000\044\000\044\000\053\000\044\000\ \044\000\044\000\045\000\045\000\054\000\054\000\054\000\054\000\ \054\000\054\000\045\000\054\000\054\000\054\000\045\000\045\000\ \045\000\045\000\045\000\045\000\045\000\044\000\045\000\045\000\ \045\000\045\000\054\000\054\000\054\000\054\000\045\000\045\000\ \045\000\045\000\045\000\054\000\045\000\045\000\045\000\046\000\ \046\000\055\000\055\000\055\000\055\000\055\000\055\000\046\000\ \055\000\055\000\055\000\046\000\046\000\046\000\046\000\046\000\ \046\000\046\000\045\000\046\000\046\000\046\000\046\000\055\000\ \055\000\055\000\055\000\046\000\046\000\046\000\046\000\046\000\ \055\000\046\000\046\000\046\000\043\000\043\000\052\000\052\000\ \052\000\052\000\052\000\052\000\043\000\052\000\052\000\052\000\ \043\000\043\000\043\000\043\000\043\000\043\000\043\000\046\000\ \043\000\043\000\043\000\043\000\052\000\052\000\052\000\052\000\ \043\000\043\000\043\000\043\000\043\000\052\000\043\000\043\000\ \043\000\042\000\042\000\051\000\051\000\051\000\051\000\051\000\ \051\000\042\000\051\000\051\000\051\000\042\000\042\000\042\000\ \042\000\042\000\042\000\042\000\043\000\042\000\042\000\042\000\ \042\000\051\000\051\000\051\000\051\000\042\000\042\000\042\000\ \042\000\042\000\051\000\042\000\042\000\042\000\041\000\041\000\ \050\000\050\000\050\000\050\000\050\000\050\000\041\000\050\000\ \050\000\050\000\041\000\041\000\041\000\041\000\041\000\041\000\ \041\000\042\000\041\000\041\000\041\000\041\000\050\000\050\000\ \050\000\050\000\041\000\041\000\041\000\041\000\041\000\050\000\ \041\000\041\000\041\000\022\000\022\000\024\000\024\000\024\000\ \024\000\024\000\024\000\022\000\128\000\138\000\012\001\022\000\ \022\000\022\000\022\000\022\000\022\000\022\000\041\000\022\000\ \022\000\022\000\022\000\024\000\024\000\024\000\024\000\022\000\ \022\000\022\000\022\000\022\000\024\000\022\000\022\000\022\000\ \043\000\043\000\052\000\052\000\052\000\052\000\052\000\052\000\ \014\001\052\000\052\000\052\000\043\000\043\000\043\000\043\000\ \043\000\043\000\016\001\022\000\043\000\019\001\043\000\021\001\ \026\001\052\000\052\000\052\000\043\000\043\000\043\000\043\000\ \043\000\235\000\043\000\043\000\043\000\090\000\090\000\237\000\ \169\000\239\000\241\000\041\000\034\000\000\000\000\000\000\000\ \000\000\090\000\090\000\090\000\090\000\090\000\090\000\000\000\ \000\000\090\000\000\000\090\000\000\000\000\000\103\000\103\000\ \103\000\090\000\090\000\090\000\090\000\090\000\000\000\090\000\ \090\000\090\000\091\000\091\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\091\000\091\000\ \091\000\091\000\091\000\091\000\000\000\000\000\091\000\000\000\ \091\000\000\000\000\000\104\000\104\000\104\000\091\000\091\000\ \091\000\091\000\091\000\000\000\091\000\091\000\091\000\089\000\ \089\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\000\000\000\000\089\000\089\000\089\000\089\000\089\000\ \089\000\000\000\000\000\089\000\000\000\089\000\000\000\000\000\ \102\000\102\000\102\000\089\000\089\000\089\000\089\000\089\000\ \000\000\089\000\089\000\089\000\103\000\104\000\000\000\000\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \105\000\106\000\000\000\107\000\108\000\109\000\000\000\110\000\ \000\000\000\000\050\000\000\000\043\000\044\000\000\000\000\000\ \051\000\052\000\053\000\054\000\055\000\000\000\056\000\030\000\ \045\000\046\000\000\000\047\000\048\000\049\000\000\000\000\000\ \007\000\007\000\050\000\019\000\019\000\019\000\019\000\019\000\ \051\000\052\000\053\000\054\000\055\000\000\000\056\000\030\000\ \032\000\032\000\032\000\032\000\032\000\032\000\007\000\032\000\ \032\000\019\000\019\000\019\000\019\000\000\000\000\000\007\000\ \000\000\000\000\019\000\000\000\008\000\008\000\032\000\032\000\ \032\000\032\000\000\000\000\000\000\000\000\000\000\000\032\000\ \052\000\052\000\052\000\052\000\052\000\052\000\000\000\052\000\ \052\000\052\000\008\000\000\000\043\000\027\000\027\000\027\000\ \027\000\027\000\027\000\008\000\027\000\000\000\052\000\028\000\ \028\000\028\000\028\000\028\000\028\000\000\000\028\000\052\000\ \000\000\000\000\000\000\027\000\027\000\027\000\027\000\000\000\ \000\000\000\000\000\000\000\000\027\000\028\000\028\000\028\000\ \028\000\000\000\000\000\000\000\000\000\000\000\028\000\052\000\ \052\000\052\000\052\000\052\000\052\000\000\000\052\000\052\000\ \052\000\023\000\023\000\023\000\023\000\023\000\023\000\031\000\ \031\000\031\000\031\000\031\000\031\000\052\000\031\000\031\000\ \000\000\000\000\000\000\000\000\000\000\000\000\052\000\023\000\ \023\000\023\000\023\000\000\000\000\000\031\000\000\000\000\000\ \023\000\020\000\020\000\020\000\020\000\020\000\031\000\032\000\ \032\000\032\000\032\000\032\000\032\000\000\000\032\000\032\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\020\000\ \020\000\020\000\020\000\000\000\000\000\032\000\000\000\000\000\ \020\000\016\000\016\000\016\000\016\000\000\000\032\000\027\000\ \027\000\027\000\027\000\027\000\027\000\000\000\027\000\028\000\ \028\000\028\000\028\000\028\000\028\000\000\000\028\000\016\000\ \016\000\016\000\016\000\000\000\000\000\027\000\000\000\000\000\ \016\000\011\000\011\000\011\000\000\000\028\000\027\000\023\000\ \023\000\023\000\023\000\023\000\023\000\000\000\028\000\000\000\ \000\000\012\000\012\000\012\000\000\000\006\000\006\000\011\000\ \011\000\011\000\011\000\000\000\000\000\023\000\000\000\000\000\ \011\000\020\000\020\000\020\000\020\000\020\000\023\000\012\000\ \012\000\012\000\012\000\006\000\006\000\006\000\006\000\000\000\ \012\000\007\000\007\000\000\000\006\000\008\000\008\000\020\000\ \000\000\015\000\015\000\015\000\015\000\000\000\000\000\000\000\ \020\000\016\000\016\000\016\000\016\000\000\000\000\000\007\000\ \007\000\007\000\007\000\008\000\008\000\008\000\008\000\015\000\ \007\000\000\000\000\000\000\000\008\000\103\000\148\000\016\000\ \015\000\000\000\000\000\000\000\000\000\103\000\138\000\000\000\ \016\000\105\000\139\000\191\000\107\000\108\000\109\000\000\000\ \110\000\105\000\139\000\050\000\107\000\108\000\109\000\000\000\ \110\000\103\000\148\000\050\000\000\000\000\000\000\000\000\000\ \000\000\160\000\160\000\000\000\000\000\105\000\139\000\000\000\ \107\000\108\000\109\000\000\000\110\000\160\000\160\000\050\000\ \160\000\160\000\160\000\000\000\160\000\043\000\100\000\160\000\ \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\ \000\000\045\000\101\000\000\000\047\000\048\000\049\000" let yycheck = "\030\000\ \000\000\046\000\046\000\105\000\044\000\051\000\097\000\052\000\ \053\000\054\000\055\000\030\000\051\000\214\000\050\001\046\000\ \013\001\018\001\000\000\001\001\051\000\052\000\053\000\054\000\ \055\000\244\000\001\001\046\000\045\000\000\001\001\001\014\001\ \051\000\001\001\035\001\023\001\000\000\018\000\069\000\023\001\ \085\000\012\001\013\001\024\000\015\001\016\001\017\001\030\000\ \019\001\037\001\069\000\022\001\001\001\037\001\000\000\001\001\ \101\000\018\001\055\001\018\001\100\000\106\000\106\000\038\001\ \001\000\014\001\110\000\055\001\051\000\030\000\038\001\053\001\ \000\000\056\001\035\001\106\000\035\001\040\001\018\001\110\000\ \040\001\052\000\053\000\054\000\055\000\056\001\069\000\106\000\ \105\000\035\001\051\000\110\000\030\000\014\001\139\000\035\001\ \023\001\014\001\002\001\003\001\004\001\046\001\023\001\001\001\ \023\001\023\001\023\001\209\000\069\000\036\001\155\000\156\000\ \024\001\051\000\250\000\036\001\252\000\162\000\037\001\037\001\ \024\001\033\001\166\000\030\000\155\000\156\000\172\000\110\000\ \014\000\033\001\039\001\069\000\174\000\172\000\040\001\166\000\ \001\001\179\000\001\001\170\000\171\000\172\000\001\001\029\000\ \051\000\190\000\032\000\166\000\165\000\110\000\024\001\170\000\ \171\000\172\000\040\000\024\001\025\001\026\001\027\001\033\001\ \051\001\206\000\069\000\054\001\033\001\210\000\210\000\212\000\ \003\001\001\001\215\000\216\000\110\000\001\001\157\000\158\000\ \159\000\160\000\161\000\210\000\163\000\164\000\068\000\166\000\ \155\000\156\000\000\000\170\000\171\000\172\000\013\001\210\000\ \209\000\002\001\003\001\004\001\157\000\158\000\159\000\160\000\ \161\000\035\001\163\000\110\000\033\001\166\000\035\001\000\001\ \001\001\170\000\171\000\172\000\052\001\042\001\051\001\024\001\ \037\001\054\001\007\001\157\000\158\000\159\000\160\000\161\000\ \033\001\208\000\143\000\001\001\166\000\005\001\147\000\004\001\ \170\000\171\000\172\000\006\001\053\000\154\000\000\001\056\000\ \185\000\201\000\202\000\188\000\130\000\243\000\207\000\007\001\ \246\000\026\001\157\000\158\000\009\001\042\001\030\000\010\001\ \000\001\143\000\011\001\166\000\025\001\147\000\051\001\170\000\ \171\000\172\000\036\001\205\000\154\000\027\001\032\001\002\001\ \003\001\001\001\000\001\051\000\025\001\026\001\040\001\041\001\ \001\001\043\001\044\001\045\001\046\001\047\001\048\001\049\001\ \032\001\023\001\030\000\014\001\000\001\069\000\201\000\202\000\ \040\001\041\001\038\001\043\001\044\001\045\001\046\001\047\001\ \048\001\049\001\032\001\002\001\003\001\030\000\000\001\051\000\ \055\001\057\001\040\001\041\001\014\001\043\001\044\001\045\001\ \046\001\047\001\048\001\049\001\032\001\025\001\026\001\004\001\ \000\001\069\000\051\000\057\001\040\001\041\001\110\000\043\001\ \044\001\045\001\046\001\047\001\048\001\049\001\032\001\170\000\ \171\000\005\001\009\001\006\001\069\000\007\001\040\001\041\001\ \014\001\043\001\044\001\045\001\046\001\047\001\048\001\049\001\ \032\001\010\001\018\001\011\001\035\001\057\001\036\001\024\001\ \040\001\041\001\110\000\043\001\044\001\045\001\046\001\047\001\ \048\001\049\001\023\001\023\001\054\001\157\000\158\000\159\000\ \160\000\002\001\003\001\004\001\005\001\110\000\166\000\023\001\ \001\001\014\001\170\000\171\000\172\000\023\001\002\001\003\001\ \004\001\005\001\006\001\007\001\056\001\009\001\010\001\024\001\ \025\001\026\001\027\001\002\001\003\001\004\001\005\001\006\001\ \033\001\157\000\158\000\159\000\024\001\025\001\026\001\027\001\ \002\001\003\001\166\000\014\001\204\000\033\001\170\000\171\000\ \172\000\024\001\020\001\008\001\157\000\158\000\159\000\160\000\ \161\000\001\001\033\001\054\001\006\001\166\000\024\001\001\001\ \023\001\170\000\171\000\172\000\035\001\008\001\001\001\033\001\ \001\001\001\001\021\001\036\001\000\000\025\001\036\001\203\000\ \000\001\001\001\002\001\003\001\004\001\005\001\006\001\007\001\ \008\001\009\001\010\001\011\001\012\001\013\001\014\001\015\001\ \016\001\017\001\018\001\036\001\020\001\021\001\022\001\023\001\ \024\001\025\001\026\001\027\001\028\001\029\001\030\001\031\001\ \032\001\033\001\034\001\035\001\036\001\000\001\001\001\002\001\ \003\001\004\001\005\001\006\001\007\001\008\001\009\001\010\001\ \011\001\012\001\013\001\014\001\015\001\016\001\017\001\018\001\ \056\001\020\001\021\001\022\001\023\001\024\001\025\001\026\001\ \027\001\028\001\029\001\030\001\031\001\032\001\033\001\034\001\ \035\001\036\001\000\001\001\001\002\001\003\001\004\001\005\001\ \006\001\007\001\008\001\009\001\010\001\011\001\012\001\013\001\ \014\001\015\001\016\001\017\001\018\001\056\001\020\001\021\001\ \022\001\023\001\024\001\025\001\026\001\027\001\028\001\029\001\ \030\001\031\001\032\001\033\001\034\001\035\001\036\001\000\001\ \001\001\002\001\003\001\004\001\005\001\006\001\007\001\008\001\ \009\001\010\001\011\001\012\001\013\001\014\001\015\001\016\001\ \017\001\018\001\056\001\020\001\021\001\022\001\023\001\024\001\ \025\001\026\001\027\001\028\001\029\001\030\001\031\001\032\001\ \033\001\034\001\035\001\036\001\000\001\001\001\002\001\003\001\ \004\001\005\001\006\001\007\001\008\001\009\001\010\001\011\001\ \012\001\013\001\014\001\015\001\016\001\017\001\018\001\056\001\ \020\001\021\001\022\001\023\001\024\001\025\001\026\001\027\001\ \028\001\029\001\030\001\031\001\032\001\033\001\034\001\035\001\ \036\001\000\001\001\001\002\001\003\001\004\001\005\001\006\001\ \007\001\008\001\009\001\010\001\011\001\012\001\013\001\014\001\ \015\001\016\001\017\001\018\001\056\001\020\001\021\001\022\001\ \023\001\024\001\025\001\026\001\027\001\028\001\029\001\030\001\ \031\001\032\001\033\001\034\001\035\001\036\001\000\001\001\001\ \002\001\003\001\004\001\005\001\006\001\007\001\008\001\009\001\ \010\001\011\001\012\001\013\001\014\001\015\001\016\001\017\001\ \018\001\056\001\020\001\021\001\022\001\023\001\024\001\025\001\ \026\001\027\001\028\001\029\001\030\001\031\001\032\001\033\001\ \034\001\035\001\036\001\000\001\001\001\002\001\003\001\004\001\ \005\001\006\001\007\001\008\001\014\001\036\001\203\000\012\001\ \013\001\014\001\015\001\016\001\017\001\018\001\056\001\020\001\ \021\001\022\001\023\001\024\001\025\001\026\001\027\001\028\001\ \029\001\030\001\031\001\032\001\033\001\034\001\035\001\036\001\ \000\001\001\001\002\001\003\001\004\001\005\001\006\001\007\001\ \204\000\009\001\010\001\011\001\012\001\013\001\014\001\015\001\ \016\001\017\001\205\000\056\001\020\001\207\000\022\001\208\000\ \213\000\025\001\026\001\027\001\028\001\029\001\030\001\031\001\ \032\001\170\000\034\001\035\001\036\001\000\001\001\001\171\000\ \069\000\172\000\172\000\028\000\019\000\255\255\255\255\255\255\ \255\255\012\001\013\001\014\001\015\001\016\001\017\001\255\255\ \255\255\020\001\255\255\022\001\255\255\255\255\025\001\026\001\ \027\001\028\001\029\001\030\001\031\001\032\001\255\255\034\001\ \035\001\036\001\000\001\001\001\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\012\001\013\001\ \014\001\015\001\016\001\017\001\255\255\255\255\020\001\255\255\ \022\001\255\255\255\255\025\001\026\001\027\001\028\001\029\001\ \030\001\031\001\032\001\255\255\034\001\035\001\036\001\000\001\ \001\001\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\255\255\255\255\012\001\013\001\014\001\015\001\016\001\ \017\001\255\255\255\255\020\001\255\255\022\001\255\255\255\255\ \025\001\026\001\027\001\028\001\029\001\030\001\031\001\032\001\ \255\255\034\001\035\001\036\001\000\001\001\001\255\255\255\255\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \012\001\013\001\255\255\015\001\016\001\017\001\255\255\019\001\ \255\255\255\255\022\001\255\255\000\001\001\001\255\255\255\255\ \028\001\029\001\030\001\031\001\032\001\255\255\034\001\035\001\ \012\001\013\001\255\255\015\001\016\001\017\001\255\255\255\255\ \002\001\003\001\022\001\002\001\003\001\004\001\005\001\006\001\ \028\001\029\001\030\001\031\001\032\001\255\255\034\001\035\001\ \002\001\003\001\004\001\005\001\006\001\007\001\024\001\009\001\ \010\001\024\001\025\001\026\001\027\001\255\255\255\255\033\001\ \255\255\255\255\033\001\255\255\002\001\003\001\024\001\025\001\ \026\001\027\001\255\255\255\255\255\255\255\255\255\255\033\001\ \002\001\003\001\004\001\005\001\006\001\007\001\255\255\009\001\ \010\001\011\001\024\001\255\255\014\001\002\001\003\001\004\001\ \005\001\006\001\007\001\033\001\009\001\255\255\024\001\002\001\ \003\001\004\001\005\001\006\001\007\001\255\255\009\001\033\001\ \255\255\255\255\255\255\024\001\025\001\026\001\027\001\255\255\ \255\255\255\255\255\255\255\255\033\001\024\001\025\001\026\001\ \027\001\255\255\255\255\255\255\255\255\255\255\033\001\002\001\ \003\001\004\001\005\001\006\001\007\001\255\255\009\001\010\001\ \011\001\002\001\003\001\004\001\005\001\006\001\007\001\002\001\ \003\001\004\001\005\001\006\001\007\001\024\001\009\001\010\001\ \255\255\255\255\255\255\255\255\255\255\255\255\033\001\024\001\ \025\001\026\001\027\001\255\255\255\255\024\001\255\255\255\255\ \033\001\002\001\003\001\004\001\005\001\006\001\033\001\002\001\ \003\001\004\001\005\001\006\001\007\001\255\255\009\001\010\001\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\024\001\ \025\001\026\001\027\001\255\255\255\255\024\001\255\255\255\255\ \033\001\002\001\003\001\004\001\005\001\255\255\033\001\002\001\ \003\001\004\001\005\001\006\001\007\001\255\255\009\001\002\001\ \003\001\004\001\005\001\006\001\007\001\255\255\009\001\024\001\ \025\001\026\001\027\001\255\255\255\255\024\001\255\255\255\255\ \033\001\002\001\003\001\004\001\255\255\024\001\033\001\002\001\ \003\001\004\001\005\001\006\001\007\001\255\255\033\001\255\255\ \255\255\002\001\003\001\004\001\255\255\002\001\003\001\024\001\ \025\001\026\001\027\001\255\255\255\255\024\001\255\255\255\255\ \033\001\002\001\003\001\004\001\005\001\006\001\033\001\024\001\ \025\001\026\001\027\001\024\001\025\001\026\001\027\001\255\255\ \033\001\002\001\003\001\255\255\033\001\002\001\003\001\024\001\ \255\255\002\001\003\001\004\001\005\001\255\255\255\255\255\255\ \033\001\002\001\003\001\004\001\005\001\255\255\255\255\024\001\ \025\001\026\001\027\001\024\001\025\001\026\001\027\001\024\001\ \033\001\255\255\255\255\255\255\033\001\000\001\001\001\024\001\ \033\001\255\255\255\255\255\255\255\255\000\001\001\001\255\255\ \033\001\012\001\013\001\014\001\015\001\016\001\017\001\255\255\ \019\001\012\001\013\001\022\001\015\001\016\001\017\001\255\255\ \019\001\000\001\001\001\022\001\255\255\255\255\255\255\255\255\ \255\255\000\001\001\001\255\255\255\255\012\001\013\001\255\255\ \015\001\016\001\017\001\255\255\019\001\012\001\013\001\022\001\ \015\001\016\001\017\001\255\255\019\001\000\001\001\001\022\001\ \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\ \255\255\012\001\013\001\255\255\015\001\016\001\017\001" let yynames_const = "\ PLUS\000\ MOINS\000\ PLUSPLUS\000\ INTER\000\ FLECHE\000\ CROCHETG\000\ CROCHETD\000\ RESTD\000\ RESTG\000\ POINT\000\ TILDE\000\ PARG\000\ PARD\000\ UNIV\000\ IDEN\000\ NONE\000\ BARRE\000\ IF\000\ THEN\000\ ELSE\000\ LET\000\ VIRGULE\000\ EQ\000\ OR\000\ IMPLIES\000\ AND\000\ NOT\000\ SOME\000\ NO\000\ LONE\000\ ONE\000\ IN\000\ ALL\000\ ACCG\000\ ACCD\000\ DP\000\ SET\000\ DIV\000\ SIG\000\ ABSTRACT\000\ EXTENDS\000\ PRED\000\ FUN\000\ FACT\000\ ASSERT\000\ CHECK\000\ RUN\000\ OPEN\000\ MODULE\000\ EXACTLY\000\ FOR\000\ BUT\000\ INT\000\ LT\000\ GT\000\ EOF\000\ EXPECTS\000\ " let yynames_block = "\ IDENT\000\ " let yyact = [| (fun _ -> failwith "parser") ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation0) in Obj.repr( # 21 "alloyparse.mly" ( _1 ) # 736 "alloyparse.ml" : 'relation)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation0nl) in Obj.repr( # 25 "alloyparse.mly" ( _1 ) # 743 "alloyparse.ml" : 'relation_nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation05) in Obj.repr( # 29 "alloyparse.mly" ( _1 ) # 750 "alloyparse.ml" : 'relation0)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation0nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation05) in Obj.repr( # 30 "alloyparse.mly" ( fun e -> plus (_1 e) (_3 e) ) # 758 "alloyparse.ml" : 'relation0)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation0nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation05) in Obj.repr( # 31 "alloyparse.mly" ( fun e -> moins (_1 e) (_3 e) ) # 766 "alloyparse.ml" : 'relation0)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation05nl) in Obj.repr( # 35 "alloyparse.mly" ( _1 ) # 773 "alloyparse.ml" : 'relation0nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation0nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation05nl) in Obj.repr( # 36 "alloyparse.mly" ( fun e -> plus (_1 e) (_3 e) ) # 781 "alloyparse.ml" : 'relation0nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation0nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation05nl) in Obj.repr( # 37 "alloyparse.mly" ( fun e -> moins (_1 e) (_3 e) ) # 789 "alloyparse.ml" : 'relation0nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation1) in Obj.repr( # 41 "alloyparse.mly" ( _1 ) # 796 "alloyparse.ml" : 'relation05)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation05nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation1) in Obj.repr( # 42 "alloyparse.mly" ( fun e -> plusplus (_1 e) (_3 e) ) # 804 "alloyparse.ml" : 'relation05)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation1nl) in Obj.repr( # 46 "alloyparse.mly" ( _1 ) # 811 "alloyparse.ml" : 'relation05nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation05nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation1nl) in Obj.repr( # 47 "alloyparse.mly" ( fun e -> plusplus (_1 e) (_3 e) ) # 819 "alloyparse.ml" : 'relation05nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation2) in Obj.repr( # 51 "alloyparse.mly" ( _1 ) # 826 "alloyparse.ml" : 'relation1)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation1nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation2) in Obj.repr( # 52 "alloyparse.mly" ( fun e -> inter (_1 e) (_3 e) ) # 834 "alloyparse.ml" : 'relation1)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation2nl) in Obj.repr( # 56 "alloyparse.mly" ( _1 ) # 841 "alloyparse.ml" : 'relation1nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation1nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation2nl) in Obj.repr( # 57 "alloyparse.mly" ( fun e -> inter (_1 e) (_3 e) ) # 849 "alloyparse.ml" : 'relation1nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation3) in Obj.repr( # 61 "alloyparse.mly" ( _1 ) # 856 "alloyparse.ml" : 'relation2)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation2nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation3) in Obj.repr( # 62 "alloyparse.mly" ( fun e -> fleche (_1 e) (_3 e) ) # 864 "alloyparse.ml" : 'relation2)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation3nl) in Obj.repr( # 66 "alloyparse.mly" ( _1 ) # 871 "alloyparse.ml" : 'relation2nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation2nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation3nl) in Obj.repr( # 67 "alloyparse.mly" ( fun e -> fleche (_1 e) (_3 e) ) # 879 "alloyparse.ml" : 'relation2nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation4) in Obj.repr( # 71 "alloyparse.mly" ( _1 ) # 886 "alloyparse.ml" : 'relation3)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 3 : 'relation3nl) in let _3 = (Parsing.peek_val __caml_parser_env 1 : 'relation) in Obj.repr( # 72 "alloyparse.mly" ( fun e -> jointure (_3 e) (_1 e) ) # 894 "alloyparse.ml" : 'relation3)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation4nl) in Obj.repr( # 76 "alloyparse.mly" ( _1 ) # 901 "alloyparse.ml" : 'relation3nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 3 : 'relation3nl) in let _3 = (Parsing.peek_val __caml_parser_env 1 : 'relation) in Obj.repr( # 77 "alloyparse.mly" ( fun e -> jointure (_3 e) (_1 e) ) # 909 "alloyparse.ml" : 'relation3nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation5) in Obj.repr( # 81 "alloyparse.mly" ( _1 ) # 916 "alloyparse.ml" : 'relation4)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation4nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation5) in Obj.repr( # 82 "alloyparse.mly" ( fun e -> restriction_droite (_1 e) (_3 e) ) # 924 "alloyparse.ml" : 'relation4)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation5nl) in Obj.repr( # 86 "alloyparse.mly" ( _1 ) # 931 "alloyparse.ml" : 'relation4nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation4nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation5nl) in Obj.repr( # 87 "alloyparse.mly" ( fun e -> restriction_droite (_1 e) (_3 e) ) # 939 "alloyparse.ml" : 'relation4nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation6) in Obj.repr( # 91 "alloyparse.mly" ( _1 ) # 946 "alloyparse.ml" : 'relation5)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation5nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation6) in Obj.repr( # 92 "alloyparse.mly" ( fun e -> restriction_gauche (_1 e) (_3 e) ) # 954 "alloyparse.ml" : 'relation5)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation6nl) in Obj.repr( # 96 "alloyparse.mly" ( _1 ) # 961 "alloyparse.ml" : 'relation5nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation5nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation6nl) in Obj.repr( # 97 "alloyparse.mly" ( fun e -> restriction_gauche (_1 e) (_3 e) ) # 969 "alloyparse.ml" : 'relation5nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation7) in Obj.repr( # 101 "alloyparse.mly" ( _1 ) # 976 "alloyparse.ml" : 'relation6)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation6nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation7) in Obj.repr( # 102 "alloyparse.mly" ( fun e -> jointure (_1 e) (_3 e) ) # 984 "alloyparse.ml" : 'relation6)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation7nl) in Obj.repr( # 106 "alloyparse.mly" ( _1 ) # 991 "alloyparse.ml" : 'relation6nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation6nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation7nl) in Obj.repr( # 107 "alloyparse.mly" ( fun e -> jointure (_1 e) (_3 e) ) # 999 "alloyparse.ml" : 'relation6nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation8) in Obj.repr( # 111 "alloyparse.mly" ( _1 ) # 1006 "alloyparse.ml" : 'relation7)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation7) in Obj.repr( # 112 "alloyparse.mly" ( fun e -> tilde (_2 e) ) # 1013 "alloyparse.ml" : 'relation7)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation8nl) in Obj.repr( # 116 "alloyparse.mly" ( _1 ) # 1020 "alloyparse.ml" : 'relation7nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation7nl) in Obj.repr( # 117 "alloyparse.mly" ( fun e -> tilde (_2 e) ) # 1027 "alloyparse.ml" : 'relation7nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'relation) in Obj.repr( # 121 "alloyparse.mly" ( _2 ) # 1034 "alloyparse.ml" : 'relation8)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 1 : Fol.ident) in let _2 = (Parsing.peek_val __caml_parser_env 0 : 'arg_seq2) in Obj.repr( # 122 "alloyparse.mly" ( fun e -> appel_fonction _1 (_2 e) e ) # 1042 "alloyparse.ml" : 'relation8)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 123 "alloyparse.mly" ( appel_relation _1 ) # 1049 "alloyparse.ml" : 'relation8)) ; (fun __caml_parser_env -> Obj.repr( # 124 "alloyparse.mly" ( fun _ -> univ ) # 1055 "alloyparse.ml" : 'relation8)) ; (fun __caml_parser_env -> Obj.repr( # 125 "alloyparse.mly" ( fun _ -> iden ) # 1061 "alloyparse.ml" : 'relation8)) ; (fun __caml_parser_env -> Obj.repr( # 126 "alloyparse.mly" ( fun _ -> none ) # 1067 "alloyparse.ml" : 'relation8)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'affectation) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 127 "alloyparse.mly" ( fun e -> _3 (_1 e) ) # 1075 "alloyparse.ml" : 'relation8)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 4 : 'formule) in let _4 = (Parsing.peek_val __caml_parser_env 2 : 'relation) in let _6 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 128 "alloyparse.mly" ( fun e -> si_relation (_2 e) (_4 e) (_6 e) ) # 1084 "alloyparse.ml" : 'relation8)) ; (fun __caml_parser_env -> Obj.repr( # 129 "alloyparse.mly" ( parse_error "relation8" ) # 1090 "alloyparse.ml" : 'relation8)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'relation) in Obj.repr( # 133 "alloyparse.mly" ( _2 ) # 1097 "alloyparse.ml" : 'relation8nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 1 : Fol.ident) in let _2 = (Parsing.peek_val __caml_parser_env 0 : 'arg_seq2) in Obj.repr( # 134 "alloyparse.mly" ( fun e -> appel_fonction _1 (_2 e) e ) # 1105 "alloyparse.ml" : 'relation8nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 135 "alloyparse.mly" ( appel_relation _1 ) # 1112 "alloyparse.ml" : 'relation8nl)) ; (fun __caml_parser_env -> Obj.repr( # 136 "alloyparse.mly" ( fun _ -> univ ) # 1118 "alloyparse.ml" : 'relation8nl)) ; (fun __caml_parser_env -> Obj.repr( # 137 "alloyparse.mly" ( fun _ -> iden ) # 1124 "alloyparse.ml" : 'relation8nl)) ; (fun __caml_parser_env -> Obj.repr( # 138 "alloyparse.mly" ( fun _ -> none ) # 1130 "alloyparse.ml" : 'relation8nl)) ; (fun __caml_parser_env -> Obj.repr( # 139 "alloyparse.mly" ( parse_error "relation8n1" ) # 1136 "alloyparse.ml" : 'relation8nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'affectation_liste) in Obj.repr( # 143 "alloyparse.mly" ( fun e -> _2 e e ) # 1143 "alloyparse.ml" : 'affectation)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'affectation_element) in Obj.repr( # 147 "alloyparse.mly" ( _1 ) # 1150 "alloyparse.ml" : 'affectation_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'affectation_element) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'affectation_liste) in Obj.repr( # 148 "alloyparse.mly" ( fun e e' -> _3 e (_1 e e') ) # 1160 "alloyparse.ml" : 'affectation_liste)) ; (fun __caml_parser_env -> Obj.repr( # 151 "alloyparse.mly" ( parse_error "affectation_liste" ) # 1166 "alloyparse.ml" : 'affectation_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 155 "alloyparse.mly" ( fun e e' -> { e' with env_rels = (fun nom -> if nom = _1 then Some (_3 e) else e'.env_rels nom) } ) # 1178 "alloyparse.ml" : 'affectation_element)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule0) in Obj.repr( # 163 "alloyparse.mly" ( _1 ) # 1185 "alloyparse.ml" : 'formule)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule1) in Obj.repr( # 167 "alloyparse.mly" ( _1 ) # 1192 "alloyparse.ml" : 'formule0)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule_disjonction) in Obj.repr( # 168 "alloyparse.mly" ( fun e -> `Disjunction (_1 e) ) # 1199 "alloyparse.ml" : 'formule0)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule1nl) in Obj.repr( # 172 "alloyparse.mly" ( _1 ) # 1206 "alloyparse.ml" : 'formule0nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule_disjonction_nl) in Obj.repr( # 173 "alloyparse.mly" ( fun e -> `Disjunction (_1 e) ) # 1213 "alloyparse.ml" : 'formule0nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule1nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule1nl) in Obj.repr( # 177 "alloyparse.mly" ( fun e -> [_1 e; _3 e] ) # 1221 "alloyparse.ml" : 'formule_disjonction_nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule1nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule_disjonction_nl) in Obj.repr( # 178 "alloyparse.mly" (fun e -> ((_1 e)::(_3 e))) # 1229 "alloyparse.ml" : 'formule_disjonction_nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule1nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule1) in Obj.repr( # 182 "alloyparse.mly" ( fun e -> [_1 e; _3 e] ) # 1237 "alloyparse.ml" : 'formule_disjonction)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule1nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule_disjonction) in Obj.repr( # 183 "alloyparse.mly" (fun e -> ((_1 e)::(_3 e))) # 1245 "alloyparse.ml" : 'formule_disjonction)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule2) in Obj.repr( # 187 "alloyparse.mly" ( _1 ) # 1252 "alloyparse.ml" : 'formule1)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule2nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule1) in Obj.repr( # 188 "alloyparse.mly" ( fun e -> implication (_1 e) (_3 e) ) # 1260 "alloyparse.ml" : 'formule1)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule2nl) in Obj.repr( # 196 "alloyparse.mly" ( _1 ) # 1267 "alloyparse.ml" : 'formule1nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule2nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule1nl) in Obj.repr( # 197 "alloyparse.mly" ( fun e -> implication (_1 e) (_3 e) ) # 1275 "alloyparse.ml" : 'formule1nl)) ; (fun __caml_parser_env -> Obj.repr( # 202 "alloyparse.mly" ( () ) # 1281 "alloyparse.ml" : 'els)) ; (fun __caml_parser_env -> Obj.repr( # 203 "alloyparse.mly" ( () ) # 1287 "alloyparse.ml" : 'els)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule3) in Obj.repr( # 207 "alloyparse.mly" ( _1 ) # 1294 "alloyparse.ml" : 'formule2)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule_conjonction) in Obj.repr( # 208 "alloyparse.mly" ( fun e -> `Conjunction (_1 e) ) # 1301 "alloyparse.ml" : 'formule2)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule3nl) in Obj.repr( # 212 "alloyparse.mly" ( _1 ) # 1308 "alloyparse.ml" : 'formule2nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule_conjonction_nl) in Obj.repr( # 213 "alloyparse.mly" ( fun e -> `Conjunction (_1 e) ) # 1315 "alloyparse.ml" : 'formule2nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule3nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule3) in Obj.repr( # 217 "alloyparse.mly" ( fun e -> [_1 e; _3 e]) # 1323 "alloyparse.ml" : 'formule_conjonction)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule3nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule_conjonction) in Obj.repr( # 218 "alloyparse.mly" ( fun e -> ((_1 e)::(_3 e)) ) # 1331 "alloyparse.ml" : 'formule_conjonction)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule3nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule3nl) in Obj.repr( # 222 "alloyparse.mly" ( fun e -> [_1 e; _3 e]) # 1339 "alloyparse.ml" : 'formule_conjonction_nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'formule3nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule_conjonction_nl) in Obj.repr( # 223 "alloyparse.mly" ( fun e -> ((_1 e)::(_3 e)) ) # 1347 "alloyparse.ml" : 'formule_conjonction_nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule4) in Obj.repr( # 227 "alloyparse.mly" ( _1 ) # 1354 "alloyparse.ml" : 'formule3)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'formule3) in Obj.repr( # 228 "alloyparse.mly" ( fun e -> `Negation (_2 e) ) # 1361 "alloyparse.ml" : 'formule3)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule4nl) in Obj.repr( # 232 "alloyparse.mly" ( _1 ) # 1368 "alloyparse.ml" : 'formule3nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'formule3nl) in Obj.repr( # 233 "alloyparse.mly" ( fun e -> `Negation (_2 e) ) # 1375 "alloyparse.ml" : 'formule3nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'formule) in Obj.repr( # 237 "alloyparse.mly" ( _2 ) # 1382 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule_seq) in Obj.repr( # 238 "alloyparse.mly" ( _1 ) # 1389 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 1 : Fol.ident) in let _2 = (Parsing.peek_val __caml_parser_env 0 : 'arg_seq) in Obj.repr( # 239 "alloyparse.mly" ( fun e -> appel_predicat _1 (_2 e) e ) # 1397 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 240 "alloyparse.mly" ( fun e -> mult_some (_2 e) ) # 1404 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 241 "alloyparse.mly" ( fun e -> mult_no (_2 e) ) # 1411 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 242 "alloyparse.mly" ( fun e -> mult_lone (_2 e) ) # 1418 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 243 "alloyparse.mly" ( fun e -> mult_one (_2 e) ) # 1425 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation_nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 244 "alloyparse.mly" ( fun e -> inclusion (_1 e) (_3 e) ) # 1433 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation_nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 246 "alloyparse.mly" ( fun e -> egalite (_1 e) (_3 e) ) # 1441 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'varlist_quant) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule_corps) in Obj.repr( # 247 "alloyparse.mly" ( fun e -> quant_forall (_2 e) _3 e ) # 1449 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'varlist_quant) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule_corps) in Obj.repr( # 248 "alloyparse.mly" ( fun e -> quant_exists (_2 e) _3 e ) # 1457 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'varlist_quant) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule_corps) in Obj.repr( # 249 "alloyparse.mly" ( fun e -> `Negation (quant_exists (_2 e) _3 e) ) # 1465 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 1 : 'affectation) in let _2 = (Parsing.peek_val __caml_parser_env 0 : 'formule_corps) in Obj.repr( # 250 "alloyparse.mly" ( fun e -> _2 (_1 e) ) # 1473 "alloyparse.ml" : 'formule4)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'formule) in Obj.repr( # 255 "alloyparse.mly" ( _2 ) # 1480 "alloyparse.ml" : 'formule4nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule_seq) in Obj.repr( # 256 "alloyparse.mly" ( _1 ) # 1487 "alloyparse.ml" : 'formule4nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 1 : Fol.ident) in let _2 = (Parsing.peek_val __caml_parser_env 0 : 'arg_seq) in Obj.repr( # 257 "alloyparse.mly" ( fun e -> appel_predicat _1 (_2 e) e ) # 1495 "alloyparse.ml" : 'formule4nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation_nl) in Obj.repr( # 258 "alloyparse.mly" ( fun e -> mult_some (_2 e) ) # 1502 "alloyparse.ml" : 'formule4nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation_nl) in Obj.repr( # 259 "alloyparse.mly" ( fun e -> mult_no (_2 e) ) # 1509 "alloyparse.ml" : 'formule4nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation_nl) in Obj.repr( # 260 "alloyparse.mly" ( fun e -> mult_lone (_2 e) ) # 1516 "alloyparse.ml" : 'formule4nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'relation_nl) in Obj.repr( # 261 "alloyparse.mly" ( fun e -> mult_one (_2 e) ) # 1523 "alloyparse.ml" : 'formule4nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation_nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation_nl) in Obj.repr( # 262 "alloyparse.mly" ( fun e -> inclusion (_1 e) (_3 e) ) # 1531 "alloyparse.ml" : 'formule4nl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation_nl) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation_nl) in Obj.repr( # 264 "alloyparse.mly" ( fun e -> egalite (_1 e) (_3 e) ) # 1539 "alloyparse.ml" : 'formule4nl)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'formule) in Obj.repr( # 269 "alloyparse.mly" ( _2 ) # 1546 "alloyparse.ml" : 'formule_corps)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'formule_seq) in Obj.repr( # 270 "alloyparse.mly" ( _1 ) # 1553 "alloyparse.ml" : 'formule_corps)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'formule_liste) in Obj.repr( # 274 "alloyparse.mly" ( fun e -> `Conjunction (_2 e) ) # 1560 "alloyparse.ml" : 'formule_seq)) ; (fun __caml_parser_env -> Obj.repr( # 278 "alloyparse.mly" ( fun _ -> [] ) # 1566 "alloyparse.ml" : 'formule_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 1 : 'formule) in let _2 = (Parsing.peek_val __caml_parser_env 0 : 'formule_liste) in Obj.repr( # 279 "alloyparse.mly" ( fun e -> ((_1 e)::(_2 e)) ) # 1574 "alloyparse.ml" : 'formule_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'varlist_quant0) in Obj.repr( # 283 "alloyparse.mly" ( fun e -> fst (_1 e) ) # 1581 "alloyparse.ml" : 'varlist_quant)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 287 "alloyparse.mly" ( fun e -> let r = _3 e in ([ _1, r ], r) ) # 1589 "alloyparse.ml" : 'varlist_quant0)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 4 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 2 : 'relation) in let _5 = (Parsing.peek_val __caml_parser_env 0 : 'varlist_quant0) in Obj.repr( # 288 "alloyparse.mly" ( fun e -> let r = _3 e in ((_1, r)::(fst (_5 e)) ,r) ) # 1600 "alloyparse.ml" : 'varlist_quant0)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'varlist_quant0) in Obj.repr( # 291 "alloyparse.mly" ( fun e -> let l, r = _3 e in ((_1, r)::l, r) ) # 1610 "alloyparse.ml" : 'varlist_quant0)) ; (fun __caml_parser_env -> Obj.repr( # 301 "alloyparse.mly" ( fun _ -> [] ) # 1616 "alloyparse.ml" : 'arg_seq)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'arg_liste) in Obj.repr( # 302 "alloyparse.mly" ( _2 ) # 1623 "alloyparse.ml" : 'arg_seq)) ; (fun __caml_parser_env -> Obj.repr( # 306 "alloyparse.mly" ( fun _ -> [] ) # 1629 "alloyparse.ml" : 'arg_seq2)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'arg_liste) in Obj.repr( # 307 "alloyparse.mly" ( _2 ) # 1636 "alloyparse.ml" : 'arg_seq2)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'relation) in Obj.repr( # 311 "alloyparse.mly" ( fun e -> [_1 e] ) # 1643 "alloyparse.ml" : 'arg_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'relation) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'arg_liste) in Obj.repr( # 312 "alloyparse.mly" ( fun e -> ((_1 e)::(_3 e)) ) # 1651 "alloyparse.ml" : 'arg_liste)) ; (fun __caml_parser_env -> Obj.repr( # 316 "alloyparse.mly" ( [] ) # 1657 "alloyparse.ml" : 'param_seq)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'param_liste) in Obj.repr( # 317 "alloyparse.mly" ( _2 ) # 1664 "alloyparse.ml" : 'param_seq)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'param) in Obj.repr( # 321 "alloyparse.mly" ( [_1] ) # 1671 "alloyparse.ml" : 'param_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'param) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'param_liste) in Obj.repr( # 322 "alloyparse.mly" ( _1 :: _3 ) # 1679 "alloyparse.ml" : 'param_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'param_liste) in Obj.repr( # 323 "alloyparse.mly" ( _1 :: _3 ) # 1687 "alloyparse.ml" : 'param_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 327 "alloyparse.mly" ( _1 ) # 1695 "alloyparse.ml" : 'param)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 3 : Fol.ident) in let _4 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 328 "alloyparse.mly" ( _1 ) # 1703 "alloyparse.ml" : 'param)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'typefleche) in Obj.repr( # 329 "alloyparse.mly" ( _1 ) # 1711 "alloyparse.ml" : 'param)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 333 "alloyparse.mly" ( [_1; _3] ) # 1719 "alloyparse.ml" : 'typefleche)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'typefleche) in Obj.repr( # 334 "alloyparse.mly" ( _1 :: _3 ) # 1727 "alloyparse.ml" : 'typefleche)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : 'reldef_liste) in Obj.repr( # 338 "alloyparse.mly" ( fst _2 ) # 1734 "alloyparse.ml" : 'reldef_seq)) ; (fun __caml_parser_env -> Obj.repr( # 342 "alloyparse.mly" ( ([], []), ([], false) ) # 1740 "alloyparse.ml" : 'reldef_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'reldef) in Obj.repr( # 343 "alloyparse.mly" ( let (id, ty) as rel, est_fonct = _1 in (([rel], (if est_fonct then [id] else [])), (ty, est_fonct)) ) # 1747 "alloyparse.ml" : 'reldef_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'reldef_liste) in Obj.repr( # 344 "alloyparse.mly" ( let (rels, foncts), ((dernier_type, est_fonct) as c) = _3 in ((_1, dernier_type)::rels, if est_fonct then _1::foncts else foncts), c ) # 1759 "alloyparse.ml" : 'reldef_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'reldef) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'reldef_liste) in Obj.repr( # 349 "alloyparse.mly" ( let (rels, foncts), _ = _3 in let (((id, ty) as rel), est_fonct) = _1 in ((rel::rels, if est_fonct then id::foncts else foncts), (ty, est_fonct)) ) # 1771 "alloyparse.ml" : 'reldef_liste)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 357 "alloyparse.mly" ( ((_1, [_3]), true) ) # 1779 "alloyparse.ml" : 'reldef)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 3 : Fol.ident) in let _4 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 358 "alloyparse.mly" ( ((_1, [_4]), false) ) # 1787 "alloyparse.ml" : 'reldef)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'typefleche) in Obj.repr( # 359 "alloyparse.mly" ( ((_1, _3), false) ) # 1795 "alloyparse.ml" : 'reldef)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'chemin) in Obj.repr( # 363 "alloyparse.mly" ( let queue, nom = _3 in (_1 :: queue, nom) ) # 1803 "alloyparse.ml" : 'chemin)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 364 "alloyparse.mly" ( [], _1 ) # 1810 "alloyparse.ml" : 'chemin)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'sigdecl) in let _2 = (Parsing.peek_val __caml_parser_env 1 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'reldef_seq) in Obj.repr( # 368 "alloyparse.mly" ( sig_master _2 _1 _3 ) # 1819 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 4 : 'sigdecl) in let _2 = (Parsing.peek_val __caml_parser_env 3 : Fol.ident) in let _4 = (Parsing.peek_val __caml_parser_env 1 : Fol.ident) in let _5 = (Parsing.peek_val __caml_parser_env 0 : 'reldef_seq) in Obj.repr( # 369 "alloyparse.mly" ( sig_extends _2 _4 _1 _5 ) # 1829 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 4 : 'sigdecl) in let _2 = (Parsing.peek_val __caml_parser_env 3 : Fol.ident) in let _4 = (Parsing.peek_val __caml_parser_env 1 : 'relation) in let _5 = (Parsing.peek_val __caml_parser_env 0 : 'reldef_seq) in Obj.repr( # 370 "alloyparse.mly" ( fun e -> sig_in _2 _1 (_4 e) _5 e ) # 1839 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 1 : 'param_seq) in let _4 = (Parsing.peek_val __caml_parser_env 0 : 'formule_seq) in Obj.repr( # 371 "alloyparse.mly" ( predicat _2 _3 _4 ) # 1848 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 7 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 6 : 'param_seq) in let _5 = (Parsing.peek_val __caml_parser_env 4 : 'set) in let _6 = (Parsing.peek_val __caml_parser_env 3 : 'relation) in let _8 = (Parsing.peek_val __caml_parser_env 1 : 'relation) in Obj.repr( # 372 "alloyparse.mly" ( fonction _2 _3 _8 ) # 1859 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'formule_seq) in Obj.repr( # 373 "alloyparse.mly" ( axiome "" _2 ) # 1866 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule_seq) in Obj.repr( # 374 "alloyparse.mly" ( axiome _2 _3 ) # 1874 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 1 : Fol.ident) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'formule_seq) in Obj.repr( # 375 "alloyparse.mly" ( theoreme _2 _3 ) # 1882 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'check) in Obj.repr( # 376 "alloyparse.mly" ( fun e -> ( prerr_endline "Check or run statement : ignored"; e ) ) # 1892 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'chemin) in Obj.repr( # 380 "alloyparse.mly" ( process_module _2 ) # 1899 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> Obj.repr( # 381 "alloyparse.mly" ( parse_error "instruction" ) # 1905 "alloyparse.ml" : 'instruction)) ; (fun __caml_parser_env -> Obj.repr( # 385 "alloyparse.mly" ( None ) # 1911 "alloyparse.ml" : 'sigdecl)) ; (fun __caml_parser_env -> Obj.repr( # 386 "alloyparse.mly" ( Some Sig_abstract ) # 1917 "alloyparse.ml" : 'sigdecl)) ; (fun __caml_parser_env -> Obj.repr( # 388 "alloyparse.mly" ( Some Sig_one ) # 1923 "alloyparse.ml" : 'sigdecl)) ; (fun __caml_parser_env -> Obj.repr( # 392 "alloyparse.mly" ( () ) # 1929 "alloyparse.ml" : 'set)) ; (fun __caml_parser_env -> Obj.repr( # 393 "alloyparse.mly" ( () ) # 1935 "alloyparse.ml" : 'set)) ; (fun __caml_parser_env -> Obj.repr( # 397 "alloyparse.mly" ( () ) # 1941 "alloyparse.ml" : 'check_mot)) ; (fun __caml_parser_env -> Obj.repr( # 398 "alloyparse.mly" ( () ) # 1947 "alloyparse.ml" : 'check_mot)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 1 : 'check_mot) in let _2 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 402 "alloyparse.mly" ( () ) # 1955 "alloyparse.ml" : 'check)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 3 : 'check_mot) in let _2 = (Parsing.peek_val __caml_parser_env 2 : Fol.ident) in let _4 = (Parsing.peek_val __caml_parser_env 0 : 'scope) in Obj.repr( # 403 "alloyparse.mly" ( () ) # 1964 "alloyparse.ml" : 'check)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 5 : 'check_mot) in let _2 = (Parsing.peek_val __caml_parser_env 4 : Fol.ident) in let _4 = (Parsing.peek_val __caml_parser_env 2 : 'scope) in Obj.repr( # 404 "alloyparse.mly" ( () ) # 1973 "alloyparse.ml" : 'check)) ; (fun __caml_parser_env -> Obj.repr( # 408 "alloyparse.mly" ( () ) # 1979 "alloyparse.ml" : 'scope)) ; (fun __caml_parser_env -> let _3 = (Parsing.peek_val __caml_parser_env 0 : 'scope_precis) in Obj.repr( # 409 "alloyparse.mly" ( () ) # 1986 "alloyparse.ml" : 'scope)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'scope_precis) in Obj.repr( # 410 "alloyparse.mly" ( () ) # 1993 "alloyparse.ml" : 'scope)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 0 : 'scope_precis_elem) in Obj.repr( # 414 "alloyparse.mly" ( () ) # 2000 "alloyparse.ml" : 'scope_precis)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'scope_precis_elem) in let _3 = (Parsing.peek_val __caml_parser_env 0 : 'scope_precis) in Obj.repr( # 415 "alloyparse.mly" ( () ) # 2008 "alloyparse.ml" : 'scope_precis)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 419 "alloyparse.mly" ( () ) # 2015 "alloyparse.ml" : 'scope_precis_elem)) ; (fun __caml_parser_env -> let _3 = (Parsing.peek_val __caml_parser_env 0 : Fol.ident) in Obj.repr( # 420 "alloyparse.mly" ( () ) # 2022 "alloyparse.ml" : 'scope_precis_elem)) ; (fun __caml_parser_env -> Obj.repr( # 424 "alloyparse.mly" ( fun e -> ( prerr_endline "Reached end of file"; e) ) # 2030 "alloyparse.ml" : 'modul0)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 1 : 'instruction) in let _2 = (Parsing.peek_val __caml_parser_env 0 : 'modul0) in Obj.repr( # 427 "alloyparse.mly" ( fun e -> _2 (_1 e) ) # 2038 "alloyparse.ml" : 'modul0)) ; (fun __caml_parser_env -> let _2 = (Parsing.peek_val __caml_parser_env 0 : 'chemin) in Obj.repr( # 432 "alloyparse.mly" ( let _, nom = _2 in fun e -> ( prerr_endline ("Module: " ^ nom); {e with env_modulenames = nom :: e.env_modulenames} ) ) # 2050 "alloyparse.ml" : 'moduledecl)) ; (fun __caml_parser_env -> let _1 = (Parsing.peek_val __caml_parser_env 2 : 'moduledecl) in let _2 = (Parsing.peek_val __caml_parser_env 1 : 'modul0) in Obj.repr( # 441 "alloyparse.mly" ( prerr_endline "Parsing complete." ; fun e -> _2 (_1 e) ) # 2058 "alloyparse.ml" : (token Fol.env -> token Fol.env))) (* Entry modul *) ; (fun __caml_parser_env -> raise (Parsing.YYexit (Parsing.peek_val __caml_parser_env 0))) |] let yytables = { Parsing.actions=yyact; Parsing.transl_const=yytransl_const; Parsing.transl_block=yytransl_block; Parsing.lhs=yylhs; Parsing.len=yylen; Parsing.defred=yydefred; Parsing.dgoto=yydgoto; Parsing.sindex=yysindex; Parsing.rindex=yyrindex; Parsing.gindex=yygindex; Parsing.tablesize=yytablesize; Parsing.table=yytable; Parsing.check=yycheck; Parsing.error_function=parse_error; Parsing.names_const=yynames_const; Parsing.names_block=yynames_block } let modul (lexfun : Lexing.lexbuf -> token) (lexbuf : Lexing.lexbuf) = (Parsing.yyparse yytables 1 lexfun lexbuf : (token Fol.env -> token Fol.env))