Changeset 2960 for extracted/semanticsUtils.mli
 Timestamp:
 Mar 26, 2013, 4:51:40 PM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/semanticsUtils.mli
r2951 r2960 422 422 sem_lin_params > Joint.unserialized_params 423 423 424 val pre_main_id : AST.ident 424 val match_genv_t_rect_Type4 : 425 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 426 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 427 428 val match_genv_t_rect_Type5 : 429 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 430 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 431 432 val match_genv_t_rect_Type3 : 433 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 434 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 435 436 val match_genv_t_rect_Type2 : 437 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 438 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 439 440 val match_genv_t_rect_Type1 : 441 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 442 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 443 444 val match_genv_t_rect_Type0 : 445 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 446 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 447 448 val match_genv_t_inv_rect_Type4 : 449 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 450 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 451 452 val match_genv_t_inv_rect_Type3 : 453 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 454 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 455 456 val match_genv_t_inv_rect_Type2 : 457 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 458 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 459 460 val match_genv_t_inv_rect_Type1 : 461 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 462 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 463 464 val match_genv_t_inv_rect_Type0 : 465 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 466 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 467 468 val match_genv_t_discr : 469 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 470 Globalenvs.genv_t > __ 471 472 val match_genv_t_jmdiscr : 473 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 474 Globalenvs.genv_t > __ 425 475 426 476 val joint_globalenv : 427 Joint_semantics.sem_params > Joint.joint_program > 428 Joint.joint_closed_internal_function AST.fundef Globalenvs.genv_t 429 430 val match_genv_t_rect_Type4 : 431 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 432 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 433 434 val match_genv_t_rect_Type5 : 435 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 436 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 437 438 val match_genv_t_rect_Type3 : 439 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 440 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 441 442 val match_genv_t_rect_Type2 : 443 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 444 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 445 446 val match_genv_t_rect_Type1 : 447 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 448 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 449 450 val match_genv_t_rect_Type0 : 451 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 452 Globalenvs.genv_t > (__ > __ > __ > 'a1) > 'a1 453 454 val match_genv_t_inv_rect_Type4 : 455 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 456 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 457 458 val match_genv_t_inv_rect_Type3 : 459 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 460 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 461 462 val match_genv_t_inv_rect_Type2 : 463 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 464 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 465 466 val match_genv_t_inv_rect_Type1 : 467 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 468 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 469 470 val match_genv_t_inv_rect_Type0 : 471 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 472 Globalenvs.genv_t > (__ > __ > __ > __ > 'a1) > 'a1 473 474 val match_genv_t_discr : 475 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 476 Globalenvs.genv_t > __ 477 478 val match_genv_t_jmdiscr : 479 AST.matching > AST.ident List.list > __ Globalenvs.genv_t > __ 480 Globalenvs.genv_t > __ 481 477 Joint_semantics.sem_params > Joint.joint_program > (AST.ident > Nat.nat 478 Types.option) > Joint_semantics.genv 479
Note: See TracChangeset
for help on using the changeset viewer.