Changeset 2827 for extracted/joint.mli


Ignore:
Timestamp:
Mar 8, 2013, 9:07:28 PM (7 years ago)
Author:
sacerdot
Message:

Everything extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint.mli

    r2797 r2827  
    12461246                                 joint_if_result : __; joint_if_params :
    12471247                                 __; joint_if_stacksize : Nat.nat;
    1248                                  joint_if_code : __;
    1249                                  joint_if_entry : __ Types.sig0 }
     1248                                 joint_if_local_stacksize : Nat.nat;
     1249                                 joint_if_code : __; joint_if_entry :
     1250                                 __ }
    12501251
    12511252val joint_internal_function_rect_Type4 :
    12521253  params -> AST.ident List.list -> (Identifiers.universe ->
    1253   Identifiers.universe -> __ -> __ -> Nat.nat -> __ -> __ Types.sig0 -> 'a1)
     1254  Identifiers.universe -> __ -> __ -> Nat.nat -> Nat.nat -> __ -> __ -> 'a1)
    12541255  -> joint_internal_function -> 'a1
    12551256
    12561257val joint_internal_function_rect_Type5 :
    12571258  params -> AST.ident List.list -> (Identifiers.universe ->
    1258   Identifiers.universe -> __ -> __ -> Nat.nat -> __ -> __ Types.sig0 -> 'a1)
     1259  Identifiers.universe -> __ -> __ -> Nat.nat -> Nat.nat -> __ -> __ -> 'a1)
    12591260  -> joint_internal_function -> 'a1
    12601261
    12611262val joint_internal_function_rect_Type3 :
    12621263  params -> AST.ident List.list -> (Identifiers.universe ->
    1263   Identifiers.universe -> __ -> __ -> Nat.nat -> __ -> __ Types.sig0 -> 'a1)
     1264  Identifiers.universe -> __ -> __ -> Nat.nat -> Nat.nat -> __ -> __ -> 'a1)
    12641265  -> joint_internal_function -> 'a1
    12651266
    12661267val joint_internal_function_rect_Type2 :
    12671268  params -> AST.ident List.list -> (Identifiers.universe ->
    1268   Identifiers.universe -> __ -> __ -> Nat.nat -> __ -> __ Types.sig0 -> 'a1)
     1269  Identifiers.universe -> __ -> __ -> Nat.nat -> Nat.nat -> __ -> __ -> 'a1)
    12691270  -> joint_internal_function -> 'a1
    12701271
    12711272val joint_internal_function_rect_Type1 :
    12721273  params -> AST.ident List.list -> (Identifiers.universe ->
    1273   Identifiers.universe -> __ -> __ -> Nat.nat -> __ -> __ Types.sig0 -> 'a1)
     1274  Identifiers.universe -> __ -> __ -> Nat.nat -> Nat.nat -> __ -> __ -> 'a1)
    12741275  -> joint_internal_function -> 'a1
    12751276
    12761277val joint_internal_function_rect_Type0 :
    12771278  params -> AST.ident List.list -> (Identifiers.universe ->
    1278   Identifiers.universe -> __ -> __ -> Nat.nat -> __ -> __ Types.sig0 -> 'a1)
     1279  Identifiers.universe -> __ -> __ -> Nat.nat -> Nat.nat -> __ -> __ -> 'a1)
    12791280  -> joint_internal_function -> 'a1
    12801281
     
    12961297  params -> AST.ident List.list -> joint_internal_function -> Nat.nat
    12971298
     1299val joint_if_local_stacksize :
     1300  params -> AST.ident List.list -> joint_internal_function -> Nat.nat
     1301
    12981302val joint_if_code :
    12991303  params -> AST.ident List.list -> joint_internal_function -> __
    13001304
    13011305val joint_if_entry :
    1302   params -> AST.ident List.list -> joint_internal_function -> __ Types.sig0
     1306  params -> AST.ident List.list -> joint_internal_function -> __
    13031307
    13041308val joint_internal_function_inv_rect_Type4 :
    13051309  params -> AST.ident List.list -> joint_internal_function ->
    1306   (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat -> __
    1307   -> __ Types.sig0 -> __ -> 'a1) -> 'a1
     1310  (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat ->
     1311  Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
    13081312
    13091313val joint_internal_function_inv_rect_Type3 :
    13101314  params -> AST.ident List.list -> joint_internal_function ->
    1311   (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat -> __
    1312   -> __ Types.sig0 -> __ -> 'a1) -> 'a1
     1315  (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat ->
     1316  Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
    13131317
    13141318val joint_internal_function_inv_rect_Type2 :
    13151319  params -> AST.ident List.list -> joint_internal_function ->
    1316   (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat -> __
    1317   -> __ Types.sig0 -> __ -> 'a1) -> 'a1
     1320  (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat ->
     1321  Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
    13181322
    13191323val joint_internal_function_inv_rect_Type1 :
    13201324  params -> AST.ident List.list -> joint_internal_function ->
    1321   (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat -> __
    1322   -> __ Types.sig0 -> __ -> 'a1) -> 'a1
     1325  (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat ->
     1326  Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
    13231327
    13241328val joint_internal_function_inv_rect_Type0 :
    13251329  params -> AST.ident List.list -> joint_internal_function ->
    1326   (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat -> __
    1327   -> __ Types.sig0 -> __ -> 'a1) -> 'a1
     1330  (Identifiers.universe -> Identifiers.universe -> __ -> __ -> Nat.nat ->
     1331  Nat.nat -> __ -> __ -> __ -> 'a1) -> 'a1
    13281332
    13291333val joint_internal_function_jmdiscr :
     
    13841388
    13851389val set_joint_code :
    1386   AST.ident List.list -> params -> joint_internal_function -> __ -> __
    1387   Types.sig0 -> joint_internal_function
    1388 
    1389 val set_joint_if_graph :
    1390   AST.ident List.list -> graph_params -> __ -> joint_internal_function ->
     1390  AST.ident List.list -> params -> joint_internal_function -> __ -> __ ->
    13911391  joint_internal_function
    13921392
     
    14111411val stack_cost : params -> joint_program -> stack_cost_model
    14121412
     1413val globals_stacksize : params -> joint_program -> Nat.nat
     1414
Note: See TracChangeset for help on using the changeset viewer.