Identity

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