module Clash.Tests.Core.TermLiteral.Types where

import Clash.Promoted.Nat

data NatTypeArg n = NatTypeArg (SNat n)