Identity

data class Identity<T : Term> : Equation<T, T>

An equation of identical Terms

Fields

Name Description
val lhs: T

The left-hand side of the equation

val rhs: T

The right-hand side of the equation

Constructors

<init>

constructor(lhs: T, rhs: T)

An equation of identical Terms

Parameters

Name Description
lhs: T
rhs: T