Function sameTermExpression

sameTermExpression(
    c: TransformationContext,
    expression: Expression,
    term: Term,
): Expression
Creates sameTerm(expression, term).
Parameters
- c: TransformationContext
  The transformation context
- expression: Expression
  One side of the equality
- term: Term
  The other
Returns Expression
the condition
- Defined in lib/utils/expressionHelpers.ts:289