Type Definition minitt::check::tcm::Gamma

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

$\Gamma ::= () \ | \ \Gamma, x : t$, Gamma in Mini-TT.
By aliasing BTreeMap to Gamma, we get lookupG in Mini-TT for free.