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

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

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