Type Definition safe_index::examples::basic::VarBSet[][src]

type VarBSet = BTreeSet<VarIndex>;

Set of variable indexes.