haskell-language-server-2.15.0.0: ghcide-test/data/boot-linkable/Clash/Promoted/Nat.hs

module Clash.Promoted.Nat (SNat) where

import Clash.XException ()

data SNat = SNat