Interface Ptn

All Superinterfaces:

Decl, DeclOrInstr, Kernel, ValueOrPtn

All Known Subinterfaces:

RecPtn

All Known Implementing Classes:

BasicRecPtn, IdentPtn

public interface Ptn
extends Decl, ValueOrPtn

Method Summary

Modifier and Type	Method	Description
void	captureLexicallyFree(Set<Ident> knownBound, Set<Ident> lexicallyFree)

Methods inherited from interface org.torqlang.klvm.Kernel

accept, toKernelString

Methods inherited from interface org.torqlang.klvm.ValueOrPtn

caseNonRecOfThis, caseRecOfThis

Method Details

captureLexicallyFree

void captureLexicallyFree(Set<Ident> knownBound,
 Set<Ident> lexicallyFree)

Specified by:

captureLexicallyFree in interface DeclOrInstr