Module StateVar.StateVarMap

module StateVarMap: Map.S  with type key = t
Map over state variables