clash-prelude-0.3: src/CLaSH/Promoted/Nat/Literals.hs
{-# LANGUAGE TemplateHaskell, DataKinds #-}
-- | Predefined 'SNat' singleton literals
module CLaSH.Promoted.Nat.Literals where
import CLaSH.Promoted.Nat.TH
$(decLiteralsD "d" 0 1024)
{-# LANGUAGE TemplateHaskell, DataKinds #-}
-- | Predefined 'SNat' singleton literals
module CLaSH.Promoted.Nat.Literals where
import CLaSH.Promoted.Nat.TH
$(decLiteralsD "d" 0 1024)