Assignment

data class Assignment<A : Var, B : Term> : Equation<A, B>

An equation stating Var = Term

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)

An equation stating Var = Term

Parameters

Name Description
lhs: A
rhs: B