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

    r2649 r2773  
    1010
    1111open Types
     12
     13open Setoids
     14
     15open Monad
     16
     17open Option
    1218
    1319open Extranat
     
    9197  Nat.nat -> 'a1 bitVectorTrie -> 'a1 bitVectorTrie -> __
    9298
    93 val fold0 :
     99val fold :
    94100  Nat.nat -> (BitVector.bitVector -> 'a1 -> 'a2 -> 'a2) -> 'a1 bitVectorTrie
    95101  -> 'a2 -> 'a2
     
    102108  Nat.nat -> BitVector.bitVector -> 'a1 bitVectorTrie -> 'a1 Types.option
    103109
    104 val member0 :
    105   Nat.nat -> BitVector.bitVector -> 'a1 bitVectorTrie -> Bool.bool
     110val member : Nat.nat -> BitVector.bitVector -> 'a1 bitVectorTrie -> Bool.bool
    106111
    107112val lookup :
     
    122127  Nat.nat -> 'a1 bitVectorTrie -> 'a1 bitVectorTrie -> 'a1 bitVectorTrie
    123128
     129open Deqsets
     130
     131type strong_decidable = (__, __) Types.sum
     132
     133val strong_decidable_in_codomain :
     134  Deqsets.deqSet -> Nat.nat -> __ bitVectorTrie -> __ -> strong_decidable
     135
Note: See TracChangeset for help on using the changeset viewer.