Changeset 2773 for extracted/simplifyCasts.mli
 Timestamp:
 Mar 4, 2013, 10:03:33 AM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/simplifyCasts.mli
r2717 r2773 1 1 open Preamble 2 2 3 open BitVectorTrie4 5 3 open CostLabel 6 4 … … 21 19 open Extralib 22 20 21 open Lists 22 23 open Positive 24 25 open Identifiers 26 27 open Exp 28 29 open Arithmetic 30 31 open Vector 32 33 open Div_and_mod 34 35 open Util 36 37 open FoldStuff 38 39 open BitVector 40 41 open Jmeq 42 43 open Russell 44 45 open List 46 23 47 open Setoids 24 48 … … 26 50 27 51 open Option 28 29 open Lists30 31 open Positive32 33 open Identifiers34 35 open Exp36 37 open Arithmetic38 39 open Vector40 41 open Div_and_mod42 43 open Jmeq44 45 open Russell46 47 open List48 49 open Util50 51 open FoldStuff52 53 open BitVector54 52 55 53 open Extranat … … 177 175 val simplify_program : Csyntax.clight_program > Csyntax.clight_program 178 176 179 val related_globals_rect_Type 6:180 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 181 > __ > 'a2) > 'a2 182 183 val related_globals_rect_Type 7:184 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 185 > __ > 'a2) > 'a2 186 187 val related_globals_rect_Type 8:188 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 189 > __ > 'a2) > 'a2 190 191 val related_globals_rect_Type 9:192 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 193 > __ > 'a2) > 'a2 194 195 val related_globals_rect_Type1 0:196 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 197 > __ > 'a2) > 'a2 198 199 val related_globals_rect_Type 11:200 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 201 > __ > 'a2) > 'a2 202 203 val related_globals_inv_rect_Type 5:204 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 205 > __ > __ > 'a2) > 'a2 206 207 val related_globals_inv_rect_Type 6:208 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 209 > __ > __ > 'a2) > 'a2 210 211 val related_globals_inv_rect_Type 7:212 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 213 > __ > __ > 'a2) > 'a2 214 215 val related_globals_inv_rect_Type 8:216 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 217 > __ > __ > 'a2) > 'a2 218 219 val related_globals_inv_rect_Type 9:220 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > (__ > __ 221 > __ > __ > 'a2) > 'a2 222 223 val related_globals_discr 0: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 : 224 222 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > __ 225 223 226 val related_globals_jmdiscr 0:224 val related_globals_jmdiscr : 227 225 ('a1 > 'a1) > 'a1 Globalenvs.genv_t > 'a1 Globalenvs.genv_t > __ 228 226
Note: See TracChangeset
for help on using the changeset viewer.