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

join

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

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