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

MeetSemiLattice

interface MeetSemiLattice<T : MeetSemiLattice<T>>

A set that supports binary greatest lower bounds.

Functions

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

The greatest lower bound of this and that.

Inheritors

Link copied to clipboard