RELAX NG implementation of Strings grammar. Strings are part of high-level specific sorts. They define the general-purpose string type and related operators over elements of that type. File name: strings.rng Version: 2009 (c) 2007-2009 Lom Hillah (AFNOR) Revision: July 2008 - L.H String is a built-in sort. StringOperator is a built-in operator. StringConstant is a built-in constant. A String type is a built-in sort. This definition describes the contents strings. Defines the constant string which may appear in any label of a High-level Petri net object, except in the signature. Its content derives from the one of BuiltInOperator It is a built-in operator. Defines the 'less than' operator between two strings. Defines the 'less than or equal' operator. Defines the 'greater than' operator. Defines the 'greater than or equal' operator. Defines the 'concatenation' of two strings. Defines the 'length' of a string. Defines the 'append' operator between an element and a string. With this operator, specified substrings can be extracted from larger strings.