Previous  Up  Next

Module STerm.StringSet

module StringSet: CCSet.S  with type elt = string