Documentation
Std
.
Classes
.
Ord
.
BitVec
Search
return to top
source
Imports
Init.Data.BitVec.Lemmas
Std.Classes.Ord.Basic
Imported by
BitVec
.
instTransOrd
BitVec
.
instLawfulEqOrd
Instances for strings.
#
source
instance
BitVec
.
instTransOrd
{
n
:
Nat
}
:
Std.TransOrd
(
BitVec
n
)
source
instance
BitVec
.
instLawfulEqOrd
{
n
:
Nat
}
:
Std.LawfulEqOrd
(
BitVec
n
)