Type Definition dedukti_parse::Scoped

source · []
pub type Scoped<S> = Command<S, S, Term<Atom<Symb<S>>, S>>;
Expand description

A command containing scoped terms.