Type Definition VarBSet
safe_index::examples::basic
type VarBSet = BTreeSet<VarIndex>;
Set of variable indexes.