Safe Haskell	Safe-Inferred
Language	Haskell2010

Clash.Primitives.Verification

Documentation

checkBBF :: BlackBoxFunction Source #