Type Definition GammaRaw
minitt::check::tcm
type GammaRaw = BTreeMap<String, Value>;
Type-Checking context. Name as key, type of the declaration as value.