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