- BlackBox:
    name: Clash.Promoted.Nat.powSNat
    kind: Expression
    type: 'Clash.Promoted.Nat.powSNat
      :: SNat a -> SNat b -> SNat (a^b)'
    template: ~LIT[0] ** ~LIT[1]
    workInfo: Never