compiler/edu.cornell.cs.apl.viaduct.algebra.solver/AtomicTerm/join

join

abstract fun join(that: A): RightHandTerm<A>
Content copied to clipboard

Return a term that represents the join of this with a constant.