data class Identity: Equation An equation of identical Terms Fields Name Description val isIdentity: Boolean val lhs: Term The left-hand side of the equation val rhs: Term The right-hand side of the equation Constructors <init> constructor(lhs: Term, rhs: Term) An equation of identical Terms Parameters Name Description lhs: Term rhs: Term Methods asIdentity fun asIdentity(): Identity ReturnValue Name Description Identity
An equation of identical Terms