Previous  Up  Next

Module FOTerm.VarSet

module VarSet: CCSet.S  with type elt = var