RELAX NG implementation of Lists grammar. The list signature is part of high-level specific sorts. It defines the general-purpose list sort and related operators over elements of that sort. File name: lists.rng Version: 2009 (c) 2007-2009 Lom Hillah (AFNOR) Revision: July 2008 - L.H List is a built-in sort. ListOperator is a built-in operator. A List is a built-in sort. It is a set over a basis sort. EmptyList is a built-in constant. It is derived from BuiltInOperator.content It is a built-in operator. It defines known concrete operators. This operator defines an empty list which is a built-in constant. Defines the 'length' of a list. This operators creates a new list. Defines the 'concatenation' of two lists. Defines the 'append' operation of an element to a list. At which index is an element in a List ? With this operator, specified sublists can be extracted from larger lists.