O
object
Assign
extends
Object
with Serializable
Supertypes
Object,
Serializable
Members
def
apply
(
lhs:
Term
,
rhs:
Term
)
(
implicit
ctx:
Context
)
: Assign
Create an assignment <lhs: Term> = <rhs: Term>
Create an assignment <lhs: Term> = <rhs: Term>
def
unapply
(
x:
Assign
)
(
implicit
ctx:
Context
)
: Option[(
Term, Term
)]
Matches an assignment <lhs: Term> = <rhs: Term>
Matches an assignment <lhs: Term> = <rhs: Term>