Previous  Up  Next

Module InnerTerm.VarSet

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