Data.SBV.Examples.CodeGeneration.Uninterpreted

shiftLeft

tstShiftLeft

genCCode