Module Definitions.DS

module DS: Datatype.String.Set