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

BoundedJoinSemiLattice

interface BoundedJoinSemiLattice<T : JoinSemiLattice<T>>

Provides the identity element in a JoinSemiLattice.

Properties

Link copied to clipboard
abstract val bottom: T

The least element of T.

Inheritors

Link copied to clipboard