pub type VarBSet = BTreeSet<VarIndex>;
Expand description

Set of variable indexes.