instance instHashableNat : Hashable Nat

instance instHashablePos : Hashable String.Pos

instance instHashableProd {α : Type u_1} {β : Type u_2} [Hashable α] [Hashable β] : Hashable (α × β)

instance instHashableBool : Hashable Bool

instance instHashableOption {α : Type u_1} [Hashable α] : Hashable (Option α)

instance instHashableList {α : Type u_1} [Hashable α] : Hashable (List α)

instance instHashableArray {α : Type u_1} [Hashable α] : Hashable (Array α)

instance instHashableUInt8 : Hashable UInt8

instance instHashableUInt16 : Hashable UInt16

instance instHashableUInt32 : Hashable UInt32

instance instHashableUInt64 : Hashable UInt64

instance instHashableUSize : Hashable USize

instance instHashableFin {n : Nat} : Hashable (Fin n)

instance instHashableInt : Hashable Int

instance instHashable (P : Prop) : Hashable P

@[inline]

def hash64 (u : UInt64) : UInt64

An opaque (low-level) hash operation used to implement hashing for pointers.