Data.SBV.Examples.Misc.SBranch

bitCount

prop

path

pathCheck