35 open Hints_declaration
47 type bitVectorTrieSet = Types.unit0 BitVectorTrie.bitVectorTrie
50 Nat.nat -> Bool.bool Vector.vector -> bitVectorTrieSet -> Bool.bool
53 Nat.nat -> bitVectorTrieSet -> bitVectorTrieSet -> bitVectorTrieSet
55 val set_eq : Nat.nat -> bitVectorTrieSet -> bitVectorTrieSet -> Bool.bool
58 Nat.nat -> BitVector.bitVector -> bitVectorTrieSet -> Types.unit0
59 BitVectorTrie.bitVectorTrie
61 val set_empty : Nat.nat -> Types.unit0 BitVectorTrie.bitVectorTrie
64 Nat.nat -> BitVector.bitVector -> Types.unit0 BitVectorTrie.bitVectorTrie