Ignore:
Timestamp:
Mar 28, 2013, 10:27:41 AM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/fixpoints.ml

    r2951 r2997  
    8080    (__ -> __ -> (__ -> __ -> Bool.bool) -> (__ -> __ -> Bool.bool) -> (__ ->
    8181    Bool.bool) -> 'a1) -> property_lattice -> 'a1 **)
    82 let rec property_lattice_rect_Type4 h_mk_property_lattice x_19049 =
    83   let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
    84     l_is_maximal = l_is_maximal0 } = x_19049
     82let rec property_lattice_rect_Type4 h_mk_property_lattice x_8779 =
     83  let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
     84    l_is_maximal = l_is_maximal0 } = x_8779
    8585  in
    8686  h_mk_property_lattice __ l_bottom0 l_equal0 l_included0 l_is_maximal0
     
    8989    (__ -> __ -> (__ -> __ -> Bool.bool) -> (__ -> __ -> Bool.bool) -> (__ ->
    9090    Bool.bool) -> 'a1) -> property_lattice -> 'a1 **)
    91 let rec property_lattice_rect_Type5 h_mk_property_lattice x_19051 =
    92   let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
    93     l_is_maximal = l_is_maximal0 } = x_19051
     91let rec property_lattice_rect_Type5 h_mk_property_lattice x_8781 =
     92  let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
     93    l_is_maximal = l_is_maximal0 } = x_8781
    9494  in
    9595  h_mk_property_lattice __ l_bottom0 l_equal0 l_included0 l_is_maximal0
     
    9898    (__ -> __ -> (__ -> __ -> Bool.bool) -> (__ -> __ -> Bool.bool) -> (__ ->
    9999    Bool.bool) -> 'a1) -> property_lattice -> 'a1 **)
    100 let rec property_lattice_rect_Type3 h_mk_property_lattice x_19053 =
    101   let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
    102     l_is_maximal = l_is_maximal0 } = x_19053
     100let rec property_lattice_rect_Type3 h_mk_property_lattice x_8783 =
     101  let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
     102    l_is_maximal = l_is_maximal0 } = x_8783
    103103  in
    104104  h_mk_property_lattice __ l_bottom0 l_equal0 l_included0 l_is_maximal0
     
    107107    (__ -> __ -> (__ -> __ -> Bool.bool) -> (__ -> __ -> Bool.bool) -> (__ ->
    108108    Bool.bool) -> 'a1) -> property_lattice -> 'a1 **)
    109 let rec property_lattice_rect_Type2 h_mk_property_lattice x_19055 =
    110   let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
    111     l_is_maximal = l_is_maximal0 } = x_19055
     109let rec property_lattice_rect_Type2 h_mk_property_lattice x_8785 =
     110  let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
     111    l_is_maximal = l_is_maximal0 } = x_8785
    112112  in
    113113  h_mk_property_lattice __ l_bottom0 l_equal0 l_included0 l_is_maximal0
     
    116116    (__ -> __ -> (__ -> __ -> Bool.bool) -> (__ -> __ -> Bool.bool) -> (__ ->
    117117    Bool.bool) -> 'a1) -> property_lattice -> 'a1 **)
    118 let rec property_lattice_rect_Type1 h_mk_property_lattice x_19057 =
    119   let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
    120     l_is_maximal = l_is_maximal0 } = x_19057
     118let rec property_lattice_rect_Type1 h_mk_property_lattice x_8787 =
     119  let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
     120    l_is_maximal = l_is_maximal0 } = x_8787
    121121  in
    122122  h_mk_property_lattice __ l_bottom0 l_equal0 l_included0 l_is_maximal0
     
    125125    (__ -> __ -> (__ -> __ -> Bool.bool) -> (__ -> __ -> Bool.bool) -> (__ ->
    126126    Bool.bool) -> 'a1) -> property_lattice -> 'a1 **)
    127 let rec property_lattice_rect_Type0 h_mk_property_lattice x_19059 =
    128   let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
    129     l_is_maximal = l_is_maximal0 } = x_19059
     127let rec property_lattice_rect_Type0 h_mk_property_lattice x_8789 =
     128  let { l_bottom = l_bottom0; l_equal = l_equal0; l_included = l_included0;
     129    l_is_maximal = l_is_maximal0 } = x_8789
    130130  in
    131131  h_mk_property_lattice __ l_bottom0 l_equal0 l_included0 l_is_maximal0
     
    201201    property_lattice -> equations -> (valuation -> __ -> 'a1) -> fixpoint ->
    202202    'a1 **)
    203 let rec fixpoint_rect_Type4 latt eqs h_mk_fixpoint x_19080 =
    204   let fix_lfp = x_19080 in h_mk_fixpoint fix_lfp __
     203let rec fixpoint_rect_Type4 latt eqs h_mk_fixpoint x_8810 =
     204  let fix_lfp = x_8810 in h_mk_fixpoint fix_lfp __
    205205
    206206(** val fixpoint_rect_Type5 :
    207207    property_lattice -> equations -> (valuation -> __ -> 'a1) -> fixpoint ->
    208208    'a1 **)
    209 let rec fixpoint_rect_Type5 latt eqs h_mk_fixpoint x_19082 =
    210   let fix_lfp = x_19082 in h_mk_fixpoint fix_lfp __
     209let rec fixpoint_rect_Type5 latt eqs h_mk_fixpoint x_8812 =
     210  let fix_lfp = x_8812 in h_mk_fixpoint fix_lfp __
    211211
    212212(** val fixpoint_rect_Type3 :
    213213    property_lattice -> equations -> (valuation -> __ -> 'a1) -> fixpoint ->
    214214    'a1 **)
    215 let rec fixpoint_rect_Type3 latt eqs h_mk_fixpoint x_19084 =
    216   let fix_lfp = x_19084 in h_mk_fixpoint fix_lfp __
     215let rec fixpoint_rect_Type3 latt eqs h_mk_fixpoint x_8814 =
     216  let fix_lfp = x_8814 in h_mk_fixpoint fix_lfp __
    217217
    218218(** val fixpoint_rect_Type2 :
    219219    property_lattice -> equations -> (valuation -> __ -> 'a1) -> fixpoint ->
    220220    'a1 **)
    221 let rec fixpoint_rect_Type2 latt eqs h_mk_fixpoint x_19086 =
    222   let fix_lfp = x_19086 in h_mk_fixpoint fix_lfp __
     221let rec fixpoint_rect_Type2 latt eqs h_mk_fixpoint x_8816 =
     222  let fix_lfp = x_8816 in h_mk_fixpoint fix_lfp __
    223223
    224224(** val fixpoint_rect_Type1 :
    225225    property_lattice -> equations -> (valuation -> __ -> 'a1) -> fixpoint ->
    226226    'a1 **)
    227 let rec fixpoint_rect_Type1 latt eqs h_mk_fixpoint x_19088 =
    228   let fix_lfp = x_19088 in h_mk_fixpoint fix_lfp __
     227let rec fixpoint_rect_Type1 latt eqs h_mk_fixpoint x_8818 =
     228  let fix_lfp = x_8818 in h_mk_fixpoint fix_lfp __
    229229
    230230(** val fixpoint_rect_Type0 :
    231231    property_lattice -> equations -> (valuation -> __ -> 'a1) -> fixpoint ->
    232232    'a1 **)
    233 let rec fixpoint_rect_Type0 latt eqs h_mk_fixpoint x_19090 =
    234   let fix_lfp = x_19090 in h_mk_fixpoint fix_lfp __
     233let rec fixpoint_rect_Type0 latt eqs h_mk_fixpoint x_8820 =
     234  let fix_lfp = x_8820 in h_mk_fixpoint fix_lfp __
    235235
    236236(** val fix_lfp : property_lattice -> equations -> fixpoint -> valuation **)
Note: See TracChangeset for help on using the changeset viewer.