Structs§
- ArgDecl
List Node - ArgDecl
Node - Ctor
Decl List Node - Ctor
Decl Node - Decl
List Node - Decl
Node - El
- ElList
- ElName
- Enum
Decl Node - Eqlog
- A model of the
Eqlogtheory. - Func
- Func
Decl Node - Ident
- IfAtom
Node - Loc
- Match
Case List Node - Match
Case Node - Module
Node - Morphism
- Nat
- OptTerm
Node - Pred
- Pred
Decl Node - Rel
- Rule
Decl Node - Rule
Descendant Node - Scope
- Stmt
Block List Node - Stmt
List Node - Stmt
Node - Structure
- Symbol
Kind - Term
List Node - Term
Node - Then
Atom Node - Type
- Type
Decl Node - Type
List - Virt
Ident