JoinLattice
class JoinLattice[a: Type] with PartialOrder[a]
SourceSignatures
def leastUpperBound(x: a, y: a): a with JoinLattice[a]
SourceReturns the least upper bound of x
and y
.
class JoinLattice[a: Type] with PartialOrder[a]
Sourcedef leastUpperBound(x: a, y: a): a with JoinLattice[a]
SourceReturns the least upper bound of x
and y
.