On Sunday, 2 June 2013 at 16:21:46 UTC, David Nadlinger wrote: > On Sunday, 2 June 2013 at 13:26:02 UTC, Jack Applegame wrote: > ElementType works as intended. > > As to whether that is a good idea… – just search the NG > archives for "string range element type" or something like that. (See also: ElementEncodingType)