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

join

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

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