Module kontroli::scope

Scoping of parse structures to data structures with references.

Re-exports

pub use pattern::Pattern;

pub use rterm::RTerm;

Modules

pattern	Rewrite patterns.
rterm	Pointers to terms.

Structs

Symbol	Shared string with fast cloning, hashing, and equality check.
Symbols	Map from strings to (shared) symbols.

Type Definitions

Command	Signature-changing command.
Intro	The way we introduce a new name.
Rule	Rewrite rules with strings as bound variable identifiers, a top pattern (symbol application) as left-hand side, and a shared term as right-hand side.
Term