O
private
object
ClosedPatternTerm
extends
Object
with Serializable
Supertypes
Object,
Serializable
Members
def
freePatternVars
(
term:
Term
)
(
implicit
ctx:
Context
,
env:
Env
)
: Set[Symbol]
Return all free variables of the term defined in the pattern (i.e. defined in Env)
Return all free variables of the term defined in the pattern (i.e. defined in Env)
def
unapply
(
term:
Term
)
(
implicit
x$2:
Context
,
x$3:
Env
)
: Option[term.type]
Matches a term that does not contain free variables defined in the pattern (i.e. not defined in Env)
Matches a term that does not contain free variables defined in the pattern (i.e. not defined in Env)