This page requires javascript to work

[−][src]Type Definition voile::syntax::abs::trans::LocalCtx

type LocalCtx = BTreeMap<String, (DBI, Plicit)>;

Key: local declaration name; Value: de-bruijn indices.