41 type bitVector = Bool.bool Vector.vector
45 type nibble = bitVector
47 type byte7 = bitVector
53 type word11 = bitVector
55 val zero : Nat.nat -> bitVector
57 val maximum : Nat.nat -> bitVector
59 val pad : Nat.nat -> Nat.nat -> bitVector -> Bool.bool Vector.vector
61 val conjunction_bv : Nat.nat -> bitVector -> bitVector -> bitVector
63 val inclusive_disjunction_bv :
64 Nat.nat -> bitVector -> bitVector -> Bool.bool Vector.vector
66 val exclusive_disjunction_bv :
67 Nat.nat -> bitVector -> bitVector -> Bool.bool Vector.vector
69 val negation_bv : Nat.nat -> bitVector -> Bool.bool Vector.vector
71 val eq_b : Bool.bool -> Bool.bool -> Bool.bool
73 val eq_bv : Nat.nat -> bitVector -> bitVector -> Bool.bool
76 Nat.nat -> bitVector -> bitVector -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1