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

meet

open override fun meet(that: A): LeftHandTerm<A>
Content copied to clipboard

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