- BlackBox:
    name: Clash.Promoted.Nat.Unsafe.unsafeSNat
    kind: Expression
    type: 'Clash.Promoted.Nat.Unsafe.unsafeSNat
      :: Integer -> SNat k'
    template: ~LIT[0]
    workInfo: Never