clash-lib-0.99: prims/common/Clash_Promoted_Nat_Unsafe.json

[ { "BlackBox" :
    { "name"      : "Clash.Promoted.Nat.Unsafe.unsafeSNat"
    , "type"      : "Clash.Promoted.Nat.Unsafe.unsafeSNat :: Integer -> SNat k"
    , "templateE" : "~LIT[0]"
    }
  }
]