Type Definition Neutral
minitt::syntax
type Neutral<Name> = GenericNeutral<Name, Value<Name>>;
Neut in Mini-TT, neutral value.
Neut