clash-prelude-0.10.5: src/CLaSH/Sized/Internal/BitVector.hs-boot

{-# LANGUAGE DataKinds       #-}
{-# LANGUAGE KindSignatures  #-}
{-# LANGUAGE RoleAnnotations #-}
module CLaSH.Sized.Internal.BitVector where

import GHC.TypeLits (Nat)

type role BitVector phantom
data BitVector :: Nat -> *
type Bit = BitVector 1