Module GettextTypes.SetString

module SetString: Set.Make(String)