Previous  Up  Next

Module Type.VarSet

module VarSet: CCSet.S  with type elt = t HVar.t