Ignore:
Timestamp:
Apr 2, 2013, 1:25:09 AM (7 years ago)
Author:
sacerdot
Message:

New extraction

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/simplifyCasts.mli

    r2773 r3059  
    121121open CexecInd
    122122
    123 open CexecSound
    124 
    125123open Sets
    126124
     
    175173val simplify_program : Csyntax.clight_program -> Csyntax.clight_program
    176174
    177 val related_globals_rect_Type4 :
    178   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    179   -> __ -> 'a2) -> 'a2
    180 
    181 val related_globals_rect_Type5 :
    182   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    183   -> __ -> 'a2) -> 'a2
    184 
    185 val related_globals_rect_Type3 :
    186   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    187   -> __ -> 'a2) -> 'a2
    188 
    189 val related_globals_rect_Type2 :
    190   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    191   -> __ -> 'a2) -> 'a2
    192 
    193 val related_globals_rect_Type1 :
    194   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    195   -> __ -> 'a2) -> 'a2
    196 
    197 val related_globals_rect_Type0 :
    198   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    199   -> __ -> 'a2) -> 'a2
    200 
    201 val related_globals_inv_rect_Type4 :
    202   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    203   -> __ -> __ -> 'a2) -> 'a2
    204 
    205 val related_globals_inv_rect_Type3 :
    206   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    207   -> __ -> __ -> 'a2) -> 'a2
    208 
    209 val related_globals_inv_rect_Type2 :
    210   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    211   -> __ -> __ -> 'a2) -> 'a2
    212 
    213 val related_globals_inv_rect_Type1 :
    214   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    215   -> __ -> __ -> 'a2) -> 'a2
    216 
    217 val related_globals_inv_rect_Type0 :
    218   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> (__ -> __
    219   -> __ -> __ -> 'a2) -> 'a2
    220 
    221 val related_globals_discr :
    222   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> __
    223 
    224 val related_globals_jmdiscr :
    225   ('a1 -> 'a1) -> 'a1 Globalenvs.genv_t -> 'a1 Globalenvs.genv_t -> __
    226 
Note: See TracChangeset for help on using the changeset viewer.