Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (8 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/globalenvs.mli

    r2717 r2730  
    209209val symbol_of_function_block : 'a1 genv_t -> Pointers.block -> AST.ident
    210210
     211val symbol_of_function_block' :
     212  'a1 genv_t -> Pointers.block -> 'a1 -> AST.ident
     213
     214val find_funct_ptr_id :
     215  'a1 genv_t -> Pointers.block -> ('a1, AST.ident) Types.prod Types.option
     216
     217val symbol_of_function_val : 'a1 genv_t -> Values.val0 -> AST.ident
     218
     219val symbol_of_function_val' : 'a1 genv_t -> Values.val0 -> 'a1 -> AST.ident
     220
     221val find_funct_id :
     222  'a1 genv_t -> Values.val0 -> ('a1, AST.ident) Types.prod Types.option
     223
    211224val nat_plus_pos : Nat.nat -> Positive.pos -> Positive.pos
    212225
     
    218231
    219232val related_globals_rect_Type4 :
    220   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> 'a3) -> 'a3
     233  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
     234  -> 'a3
    221235
    222236val related_globals_rect_Type5 :
    223   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> 'a3) -> 'a3
     237  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
     238  -> 'a3
    224239
    225240val related_globals_rect_Type3 :
    226   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> 'a3) -> 'a3
     241  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
     242  -> 'a3
    227243
    228244val related_globals_rect_Type2 :
    229   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> 'a3) -> 'a3
     245  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
     246  -> 'a3
    230247
    231248val related_globals_rect_Type1 :
    232   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> 'a3) -> 'a3
     249  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
     250  -> 'a3
    233251
    234252val related_globals_rect_Type0 :
    235   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> 'a3) -> 'a3
     253  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
     254  -> 'a3
    236255
    237256val related_globals_inv_rect_Type4 :
    238   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
    239   -> 'a3
     257  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> __ ->
     258  'a3) -> 'a3
    240259
    241260val related_globals_inv_rect_Type3 :
    242   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
    243   -> 'a3
     261  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> __ ->
     262  'a3) -> 'a3
    244263
    245264val related_globals_inv_rect_Type2 :
    246   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
    247   -> 'a3
     265  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> __ ->
     266  'a3) -> 'a3
    248267
    249268val related_globals_inv_rect_Type1 :
    250   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
    251   -> 'a3
     269  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> __ ->
     270  'a3) -> 'a3
    252271
    253272val related_globals_inv_rect_Type0 :
    254   ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> 'a3)
    255   -> 'a3
     273  ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __ -> __ -> __ -> __ ->
     274  'a3) -> 'a3
    256275
    257276val related_globals_discr : ('a1 -> 'a2) -> 'a1 genv_t -> 'a2 genv_t -> __
     
    262281  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    263282  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    264   -> __ -> 'a3) -> 'a3
     283  -> __ -> __ -> 'a3) -> 'a3
    265284
    266285val related_globals_gen_rect_Type5 :
    267286  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    268287  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    269   -> __ -> 'a3) -> 'a3
     288  -> __ -> __ -> 'a3) -> 'a3
    270289
    271290val related_globals_gen_rect_Type3 :
    272291  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    273292  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    274   -> __ -> 'a3) -> 'a3
     293  -> __ -> __ -> 'a3) -> 'a3
    275294
    276295val related_globals_gen_rect_Type2 :
    277296  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    278297  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    279   -> __ -> 'a3) -> 'a3
     298  -> __ -> __ -> 'a3) -> 'a3
    280299
    281300val related_globals_gen_rect_Type1 :
    282301  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    283302  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    284   -> __ -> 'a3) -> 'a3
     303  -> __ -> __ -> 'a3) -> 'a3
    285304
    286305val related_globals_gen_rect_Type0 :
    287306  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    288307  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    289   -> __ -> 'a3) -> 'a3
     308  -> __ -> __ -> 'a3) -> 'a3
    290309
    291310val related_globals_gen_inv_rect_Type4 :
    292311  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    293312  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    294   -> __ -> __ -> 'a3) -> 'a3
     313  -> __ -> __ -> __ -> 'a3) -> 'a3
    295314
    296315val related_globals_gen_inv_rect_Type3 :
    297316  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    298317  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    299   -> __ -> __ -> 'a3) -> 'a3
     318  -> __ -> __ -> __ -> 'a3) -> 'a3
    300319
    301320val related_globals_gen_inv_rect_Type2 :
    302321  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    303322  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    304   -> __ -> __ -> 'a3) -> 'a3
     323  -> __ -> __ -> __ -> 'a3) -> 'a3
    305324
    306325val related_globals_gen_inv_rect_Type1 :
    307326  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    308327  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    309   -> __ -> __ -> 'a3) -> 'a3
     328  -> __ -> __ -> __ -> 'a3) -> 'a3
    310329
    311330val related_globals_gen_inv_rect_Type0 :
    312331  PreIdentifiers.identifierTag -> (Identifiers.universe -> 'a1 -> ('a2,
    313332  Identifiers.universe) Types.prod) -> 'a1 genv_t -> 'a2 genv_t -> (__ -> __
    314   -> __ -> __ -> 'a3) -> 'a3
     333  -> __ -> __ -> __ -> 'a3) -> 'a3
    315334
    316335val related_globals_gen_discr :
Note: See TracChangeset for help on using the changeset viewer.