Type Definition Gamma
minitt::type_check
type Gamma<Name> = BTreeMap<Name, Value<Name>>;
Gamma in Mini-TT. By doing this we get lookupG in Mini-TT for free.
Gamma
lookupG