Module StateVar.StateVarSet

module StateVarSet: sig .. end
Set over state variables

include Set.S