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/bitVectorTrie.ml

    r3043 r3059  
    4949    ('a1 -> 'a2) -> (Nat.nat -> 'a1 bitVectorTrie -> 'a1 bitVectorTrie -> 'a2
    5050    -> 'a2 -> 'a2) -> (Nat.nat -> 'a2) -> Nat.nat -> 'a1 bitVectorTrie -> 'a2 **)
    51 let rec bitVectorTrie_rect_Type4 h_Leaf h_Node h_Stub x_14816 = function
    52 | Leaf x_14818 -> h_Leaf x_14818
    53 | Node (n, x_14820, x_14819) ->
    54   h_Node n x_14820 x_14819
    55     (bitVectorTrie_rect_Type4 h_Leaf h_Node h_Stub n x_14820)
    56     (bitVectorTrie_rect_Type4 h_Leaf h_Node h_Stub n x_14819)
     51let rec bitVectorTrie_rect_Type4 h_Leaf h_Node h_Stub x_14760 = function
     52| Leaf x_14762 -> h_Leaf x_14762
     53| Node (n, x_14764, x_14763) ->
     54  h_Node n x_14764 x_14763
     55    (bitVectorTrie_rect_Type4 h_Leaf h_Node h_Stub n x_14764)
     56    (bitVectorTrie_rect_Type4 h_Leaf h_Node h_Stub n x_14763)
    5757| Stub n -> h_Stub n
    5858
     
    6060    ('a1 -> 'a2) -> (Nat.nat -> 'a1 bitVectorTrie -> 'a1 bitVectorTrie -> 'a2
    6161    -> 'a2 -> 'a2) -> (Nat.nat -> 'a2) -> Nat.nat -> 'a1 bitVectorTrie -> 'a2 **)
    62 let rec bitVectorTrie_rect_Type3 h_Leaf h_Node h_Stub x_14832 = function
    63 | Leaf x_14834 -> h_Leaf x_14834
    64 | Node (n, x_14836, x_14835) ->
    65   h_Node n x_14836 x_14835
    66     (bitVectorTrie_rect_Type3 h_Leaf h_Node h_Stub n x_14836)
    67     (bitVectorTrie_rect_Type3 h_Leaf h_Node h_Stub n x_14835)
     62let rec bitVectorTrie_rect_Type3 h_Leaf h_Node h_Stub x_14776 = function
     63| Leaf x_14778 -> h_Leaf x_14778
     64| Node (n, x_14780, x_14779) ->
     65  h_Node n x_14780 x_14779
     66    (bitVectorTrie_rect_Type3 h_Leaf h_Node h_Stub n x_14780)
     67    (bitVectorTrie_rect_Type3 h_Leaf h_Node h_Stub n x_14779)
    6868| Stub n -> h_Stub n
    6969
     
    7171    ('a1 -> 'a2) -> (Nat.nat -> 'a1 bitVectorTrie -> 'a1 bitVectorTrie -> 'a2
    7272    -> 'a2 -> 'a2) -> (Nat.nat -> 'a2) -> Nat.nat -> 'a1 bitVectorTrie -> 'a2 **)
    73 let rec bitVectorTrie_rect_Type2 h_Leaf h_Node h_Stub x_14840 = function
    74 | Leaf x_14842 -> h_Leaf x_14842
    75 | Node (n, x_14844, x_14843) ->
    76   h_Node n x_14844 x_14843
    77     (bitVectorTrie_rect_Type2 h_Leaf h_Node h_Stub n x_14844)
    78     (bitVectorTrie_rect_Type2 h_Leaf h_Node h_Stub n x_14843)
     73let rec bitVectorTrie_rect_Type2 h_Leaf h_Node h_Stub x_14784 = function
     74| Leaf x_14786 -> h_Leaf x_14786
     75| Node (n, x_14788, x_14787) ->
     76  h_Node n x_14788 x_14787
     77    (bitVectorTrie_rect_Type2 h_Leaf h_Node h_Stub n x_14788)
     78    (bitVectorTrie_rect_Type2 h_Leaf h_Node h_Stub n x_14787)
    7979| Stub n -> h_Stub n
    8080
     
    8282    ('a1 -> 'a2) -> (Nat.nat -> 'a1 bitVectorTrie -> 'a1 bitVectorTrie -> 'a2
    8383    -> 'a2 -> 'a2) -> (Nat.nat -> 'a2) -> Nat.nat -> 'a1 bitVectorTrie -> 'a2 **)
    84 let rec bitVectorTrie_rect_Type1 h_Leaf h_Node h_Stub x_14848 = function
    85 | Leaf x_14850 -> h_Leaf x_14850
    86 | Node (n, x_14852, x_14851) ->
    87   h_Node n x_14852 x_14851
    88     (bitVectorTrie_rect_Type1 h_Leaf h_Node h_Stub n x_14852)
    89     (bitVectorTrie_rect_Type1 h_Leaf h_Node h_Stub n x_14851)
     84let rec bitVectorTrie_rect_Type1 h_Leaf h_Node h_Stub x_14792 = function
     85| Leaf x_14794 -> h_Leaf x_14794
     86| Node (n, x_14796, x_14795) ->
     87  h_Node n x_14796 x_14795
     88    (bitVectorTrie_rect_Type1 h_Leaf h_Node h_Stub n x_14796)
     89    (bitVectorTrie_rect_Type1 h_Leaf h_Node h_Stub n x_14795)
    9090| Stub n -> h_Stub n
    9191
     
    9393    ('a1 -> 'a2) -> (Nat.nat -> 'a1 bitVectorTrie -> 'a1 bitVectorTrie -> 'a2
    9494    -> 'a2 -> 'a2) -> (Nat.nat -> 'a2) -> Nat.nat -> 'a1 bitVectorTrie -> 'a2 **)
    95 let rec bitVectorTrie_rect_Type0 h_Leaf h_Node h_Stub x_14856 = function
    96 | Leaf x_14858 -> h_Leaf x_14858
    97 | Node (n, x_14860, x_14859) ->
    98   h_Node n x_14860 x_14859
    99     (bitVectorTrie_rect_Type0 h_Leaf h_Node h_Stub n x_14860)
    100     (bitVectorTrie_rect_Type0 h_Leaf h_Node h_Stub n x_14859)
     95let rec bitVectorTrie_rect_Type0 h_Leaf h_Node h_Stub x_14800 = function
     96| Leaf x_14802 -> h_Leaf x_14802
     97| Node (n, x_14804, x_14803) ->
     98  h_Node n x_14804 x_14803
     99    (bitVectorTrie_rect_Type0 h_Leaf h_Node h_Stub n x_14804)
     100    (bitVectorTrie_rect_Type0 h_Leaf h_Node h_Stub n x_14803)
    101101| Stub n -> h_Stub n
    102102
Note: See TracChangeset for help on using the changeset viewer.