compiler/io.github.aplcornell.viaduct.algebra/JoinSemiLattice

JoinSemiLattice

interface JoinSemiLattice<T : JoinSemiLattice<T>>

A set that supports binary least upper bounds.

Functions

Link copied to clipboard
abstract infix fun join(that: T): T

The least upper bound of this and that.

Inheritors

Link copied to clipboard