Type Definition minitt::check::tcm::GammaRaw

type GammaRaw = BTreeMap<String, Value>;

Since we have no place to document lookupG I'll put it here: $$ \frac{}{(\Gamma, a:t)(x)\rightarrow t} \quad \frac{\Gamma(x) \rightarrow t} {(\Gamma, y:t')(x)\rightarrow t} y \neq x $$ Type-Checking context. Name as key, type of the declaration as value.