equalityInterpretable
equalityInterpretable(
id,lhs,rhs):InterpretableCall
equalityInterpretable creates an equality interpretable.
Parameters
Section titled “Parameters”number
equalityInterpretable(
id,lhs,rhs):InterpretableCall
equalityInterpretable creates an equality interpretable.
number