Stdlib.Data.Byte.Base
Contents
builtin byte axiom Byte : TypeSource#
An 8-bit unsigned integer.
builtin byte-from-nat axiom fromNat : Nat -> ByteSource#
Converts a Nat to a Byte. It takes the modulus of the input natural number with 256.
builtin byte-to-nat axiom toNat : Byte -> NatSource#
Converts a Byte to the corresponding Nat.
builtin byte-eq axiom == : Byte -> Byte -> BoolSource#
