MeetLattice
class MeetLattice[a: Type] with PartialOrder[a]
SourceSignatures
def greatestLowerBound(x: a, y: a): a with MeetLattice[a]
SourceReturns the greatest lower bound of x
and y
.
class MeetLattice[a: Type] with PartialOrder[a]
Sourcedef greatestLowerBound(x: a, y: a): a with MeetLattice[a]
SourceReturns the greatest lower bound of x
and y
.