← Mathematical handbook

Instances for strings.

instance BitVec.instTransOrd {n : Nat} : Std.TransOrd (BitVec n)

instance BitVec.instLawfulEqOrd {n : Nat} : Std.LawfulEqOrd (BitVec n)