Contradiction

data class Contradiction<A : Term, B : Term> : Equation<A, B>

A contradicting equation, trying to equate non equal Terms

Fields

Name Description
val lhs: A

The left-hand side of the equation

val rhs: B

The right-hand side of the equation

Constructors

<init>

constructor(lhs: A, rhs: B)

A contradicting equation, trying to equate non equal Terms

Parameters

Name Description
lhs: A
rhs: B