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

BoundedLattice

interface BoundedLattice<T : Lattice<T>> : BoundedJoinSemiLattice<T> , BoundedMeetSemiLattice<T>

Provides the least and greatest elements in a Lattice.

Properties

abstract val bottom: T

The least element of T.

abstract val top: T

The greatest element of T.

Inheritors