Ivory.Language.BitData.Bits

type family BitRep n :: *

type IvoryRep a

data Bits n

type Bit

type family BitSize a :: Nat

unsafeIntToBits

zeroBits

unsafeRepToBits

repToBits

bitsToRep