Data.SBV.Examples.CodeGeneration.Uninterpreted
shiftLeft
tstShiftLeft
genCCode