[ { "BlackBox" :
    { "name"      : "Clash.Promoted.Nat.powSNat"
    , "type"      : "Clash.Promoted.Nat.powSNat :: SNat a -> SNat b -> SNat (a^b)"
    , "templateE" : "~LIT[0] ** ~LIT[1]"
    }
  }
, { "BlackBox" :
    { "name"      : "Clash.Promoted.Nat.flogBaseSNat"
    , "type"      : "Clash.Promoted.Nat.flogBaseSNat :: (2 <= base, 1 <= x)
                                                     => SNat base -- ARG[2]
                                                     -> SNat x    -- ARG[3]
                                                     -> SNat (FLog base x)"
    , "templateE" : "integer(floor(log(real(~LIT[3]),real(~LIT[2]))))"
    }
  }
, { "BlackBox" :
    { "name"      : "Clash.Promoted.Nat.clogBaseSNat"
    , "type"      : "Clash.Promoted.Nat.clogBaseSNat :: (2 <= base, 1 <= x)
                                                     => SNat base -- ARG[2]
                                                     -> SNat x    -- ARG[3]
                                                     -> SNat (CLog base x)"
    , "templateE" : "integer(ceiling(log(real(~LIT[3]),real(~LIT[2]))))"
    }
  }
, { "BlackBox" :
    { "name"      : "Clash.Promoted.Nat.logBaseSNat"
    , "type"      : "Clash.Promoted.Nat.logBaseSNat :: (FLog base x ~ CLog base x)
                                                    => SNat base -- ARG[1]
                                                    -> SNat x    -- ARG[2]
                                                    -> SNat (Log base x)"
    , "templateE" : "integer(ceiling(log(real(~LIT[2]),real(~LIT[1]))))"
    }
  }
]