OrdB package:Boolean

Types with inequality. Minimum definition: '(<*)'.