sbv-0.9.21: Symbolic bit vectors: Bit-precise verification and automatic C-code generation.

Index - .

.&.Data.SBV
./=Data.SBV
.<Data.SBV
.<=Data.SBV
.==Data.SBV
.>Data.SBV
.>=Data.SBV
.|.Data.SBV