clash-lib-1.0.0: prims/common/Clash_Promoted_Nat.json

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