clash-systemverilog-0.6.1: primitives/CLaSH.Promoted.Nat.Unsafe.json
[ { "BlackBox" :
{ "name" : "CLaSH.Promoted.Nat.Unsafe.unsafeSNat"
, "type" : "CLaSH.Promoted.Nat.Unsafe.unsafeSNat :: Integer -> SNat k"
, "templateE" : "~LIT[0]"
}
}
]