compiler/edu.cornell.cs.apl.viaduct.algebra/FreeDistributiveLattice/join

join

open override fun join(that: FreeDistributiveLattice<A>): FreeDistributiveLattice<A>
Content copied to clipboard

The least upper bound of this and that.