Ignore:
Timestamp:
Mar 4, 2013, 10:03:33 AM (7 years ago)
Author:
sacerdot
Message:
  1. everything extracted again after all bugs in Matita's extraction have been fixed. No more need for manual patching
  2. new extraction after file reorganization (by James)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/bitVectorTrieSet.ml

    r2717 r2773  
    11open Preamble
     2
     3open Deqsets
     4
     5open Setoids
     6
     7open Monad
     8
     9open Option
    210
    311open Extranat
     
    4957        (fun _ -> Obj.magic Nat.nat_discr (Nat.S x) Nat.O __)
    5058      | BitVectorTrie.Stub x -> (fun _ -> Bool.False))
    51    | Vector.VCons (o, hd0, tl) ->
     59   | Vector.VCons (o, hd, tl) ->
    5260     (match b with
    5361      | BitVectorTrie.Leaf x ->
    5462        (fun _ -> Obj.magic Nat.nat_discr Nat.O (Nat.S o) __)
    5563      | BitVectorTrie.Node (p0, l, r) ->
    56         (match hd0 with
     64        (match hd with
    5765         | Bool.True -> (fun _ -> set_member o tl r)
    5866         | Bool.False -> (fun _ -> set_member o tl l))
Note: See TracChangeset for help on using the changeset viewer.