Changeset 2867 for extracted/joint.mli


Ignore:
Timestamp:
Mar 13, 2013, 11:12:29 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after indianess bug fixes by Paolo.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint.mli

    r2827 r2867  
    13371337val good_if_rect_Type4 :
    13381338  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1339   -> __ -> __ -> 'a1) -> 'a1
     1339  -> __ -> __ -> __ -> 'a1) -> 'a1
    13401340
    13411341val good_if_rect_Type5 :
    13421342  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1343   -> __ -> __ -> 'a1) -> 'a1
     1343  -> __ -> __ -> __ -> 'a1) -> 'a1
    13441344
    13451345val good_if_rect_Type3 :
    13461346  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1347   -> __ -> __ -> 'a1) -> 'a1
     1347  -> __ -> __ -> __ -> 'a1) -> 'a1
    13481348
    13491349val good_if_rect_Type2 :
    13501350  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1351   -> __ -> __ -> 'a1) -> 'a1
     1351  -> __ -> __ -> __ -> 'a1) -> 'a1
    13521352
    13531353val good_if_rect_Type1 :
    13541354  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1355   -> __ -> __ -> 'a1) -> 'a1
     1355  -> __ -> __ -> __ -> 'a1) -> 'a1
    13561356
    13571357val good_if_rect_Type0 :
    13581358  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1359   -> __ -> __ -> 'a1) -> 'a1
     1359  -> __ -> __ -> __ -> 'a1) -> 'a1
    13601360
    13611361val good_if_inv_rect_Type4 :
    13621362  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1363   -> __ -> __ -> __ -> 'a1) -> 'a1
     1363  -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
    13641364
    13651365val good_if_inv_rect_Type3 :
    13661366  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1367   -> __ -> __ -> __ -> 'a1) -> 'a1
     1367  -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
    13681368
    13691369val good_if_inv_rect_Type2 :
    13701370  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1371   -> __ -> __ -> __ -> 'a1) -> 'a1
     1371  -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
    13721372
    13731373val good_if_inv_rect_Type1 :
    13741374  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1375   -> __ -> __ -> __ -> 'a1) -> 'a1
     1375  -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
    13761376
    13771377val good_if_inv_rect_Type0 :
    13781378  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1379   -> __ -> __ -> __ -> 'a1) -> 'a1
    1380 
    1381 val good_if_discr :
    1382   params -> AST.ident List.list -> joint_internal_function -> __
     1379  -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
    13831380
    13841381val good_if_jmdiscr :
Note: See TracChangeset for help on using the changeset viewer.