Separated documentation for bitvector comparison primitives
Separated documentation for bitvector comparison primitives

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script