Type Alias Scoped 

pub type Scoped<S> = Command<S, S, Term<Atom<Symb<S>>, S>>;

A command containing scoped terms.

Aliased Type

pub enum Scoped<S> {
    Intro(S, Vec<(S, App<AppH<Atom<Symb<S>>, S>>)>, Intro<App<AppH<Atom<Symb<S>>, S>>>),
    Rules(Vec<Rule<S, App<AppH<Atom<Symb<S>>, S>>>>),
}

Variants

Intro(S, Vec<(S, App<AppH<Atom<Symb<S>>, S>>)>, Intro<App<AppH<Atom<Symb<S>>, S>>>)

Rules(Vec<Rule<S, App<AppH<Atom<Symb<S>>, S>>>>)