MeetLattice

trait MeetLattice[a: Type] with PartialOrder[a]Source

Signatures

def greatestLowerBound(x: a, y: a): a with MeetLattice[a] Source

Returns the greatest lower bound of x and y.