[−][src]Type Definition minitt::type_check::Gamma

type Gamma<'a, Name> = Cow<'a, GammaRaw<Name>>;

Gamma in Mini-TT.
By doing this we get lookupG in Mini-TT for free.