[−][src]Type Definition minitt::check::tcm::GammaRaw

type GammaRaw = BTreeMap<String, Value>;

Type-Checking context. Name as key, type of the declaration as value.