class Printf.Bounded (a : Type u) : Type u

• minBound : a
• maxBound : a

instance Printf.instBoundedUInt8 : Bounded UInt8

Equations

• Printf.instBoundedUInt8 = { minBound := 0, maxBound := 255 }

instance Printf.instBoundedUInt16 : Bounded UInt16

Equations

• Printf.instBoundedUInt16 = { minBound := 0, maxBound := 65535 }

instance Printf.instBoundedUInt32 : Bounded UInt32

Equations

• Printf.instBoundedUInt32 = { minBound := 0, maxBound := 4294967295 }

instance Printf.instBoundedUInt64 : Bounded UInt64

Equations

• Printf.instBoundedUInt64 = { minBound := 0, maxBound := 18446744073709551615 }

instance Printf.instBoundedInt8 : Bounded Int8

Equations

• Printf.instBoundedInt8 = { minBound := Int8.minValue, maxBound := Int8.maxValue }

instance Printf.instBoundedInt16 : Bounded Int16

Equations

• Printf.instBoundedInt16 = { minBound := Int16.minValue, maxBound := Int16.maxValue }

instance Printf.instBoundedInt32 : Bounded Int32

Equations

• Printf.instBoundedInt32 = { minBound := Int32.minValue, maxBound := Int32.maxValue }

instance Printf.instBoundedInt64 : Bounded Int64

Equations

• Printf.instBoundedInt64 = { minBound := Int64.minValue, maxBound := Int64.maxValue }