Type Definition minitt::type_check::GammaRaw

type GammaRaw<Name> = BTreeMap<Name, Value<Name>>;