clash-ghc-0.4: primitives/CLaSH.Promoted.Nat.json

[ { "BlackBox" :
    { "name"      : "CLaSH.Promoted.Nat.SNat"
    , "templateE" : "~LIT[0]"
    }
  }
, { "BlackBox" :
    { "name"      : "CLaSH.Promoted.Nat.snatToInteger"
    , "templateE" : "~LIT[0]"
    }
  }
]