Methods of the module objectval Assign
val Assign
Create an assignment<lhs: Term> = <rhs: Term>
<lhs: Term> = <rhs: Term>
Matches an assignment<lhs: Term> = <rhs: Term>