PartialOrder
kernel
PartialOrderFunctions
kernel
partialCompare
Order PartialOrder PartialOrderFunctions BitSetPartialOrder ListPartialOrder OptionPartialOrder SetPartialOrder StreamPartialOrder VectorPartialOrder
partialComparison
PartialOrder
pmax
PartialOrder PartialOrderFunctions
pmin
PartialOrder PartialOrderFunctions