Type Definition GlobCtx
voile::syntax::abs::trans
type GlobCtx = BTreeMap<String, GI>;
Key: global declaration name; Value: global declaration index.