Module StateVar.StateVarHashtbl

module StateVarHashtbl: Hashtbl.S  with type key = t
Hash table over state variables