O private object

ClosedPatternTerm

extends Object

Supertypes

Object

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)