Changeset 3059 for extracted/simplifyCasts.mli
 Timestamp:
 Apr 2, 2013, 1:25:09 AM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/simplifyCasts.mli
r2773 r3059 121 121 open CexecInd 122 122 123 open CexecSound124 125 123 open Sets 126 124 … … 175 173 val simplify_program : Csyntax.clight_program > Csyntax.clight_program 176 174 177 val related_globals_rect_Type4 :178 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __179 > __ > 'a2) > 'a2180 181 val related_globals_rect_Type5 :182 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __183 > __ > 'a2) > 'a2184 185 val related_globals_rect_Type3 :186 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __187 > __ > 'a2) > 'a2188 189 val related_globals_rect_Type2 :190 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __191 > __ > 'a2) > 'a2192 193 val related_globals_rect_Type1 :194 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __195 > __ > 'a2) > 'a2196 197 val related_globals_rect_Type0 :198 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __199 > __ > 'a2) > 'a2200 201 val related_globals_inv_rect_Type4 :202 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __203 > __ > __ > 'a2) > 'a2204 205 val related_globals_inv_rect_Type3 :206 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __207 > __ > __ > 'a2) > 'a2208 209 val related_globals_inv_rect_Type2 :210 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __211 > __ > __ > 'a2) > 'a2212 213 val related_globals_inv_rect_Type1 :214 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __215 > __ > __ > 'a2) > 'a2216 217 val related_globals_inv_rect_Type0 :218 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __219 > __ > __ > 'a2) > 'a2220 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.