[][src]Type Definition minitt::syntax::Neutral

type Neutral<Name> = GenericNeutral<Name, Value<Name>>;

Neut in Mini-TT, neutral value.