Comparison

data class Comparison: Equation

An equation comparing Terms, possibly different

Fields

Name Description
val isComparison: 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 comparing Terms, possibly different

Parameters

Name Description
lhs: Term
rhs: Term

Methods

asComparison

fun asComparison(): Comparison

ReturnValue

Name Description
Comparison