List of all items

Structs

• App
• GCtx
• Rule
• Symbols
• Typing
• symbol::Owned
• symbol::Symbol

Enums

• Comb
• Command
• Intro
• Pattern
• error::Error
• kernel::Error
• lterm::LTerm
• share::Error

Traits

• share::Share

Functions

• kernel::intro
• kernel::rewrite

Type Aliases

• kernel::Check
• kernel::GCtx
• kernel::Typing
• lterm::DeBruijn
• lterm::LComb
• share::Command
• share::Intro
• share::Pattern
• share::Rule
• share::TopPattern