quantification-0.5.0: Rage against the quantification

Index - B

Binary1Data.Binary.Lifted
BinaryExistsData.Exists
BinaryExists2Data.Exists
BinaryForeachData.Exists
BoundedExistsData.Exists