RELAX NG implementation of Partitions grammar. Partitions are part of high-level common sorts. They are used by Symmetric Nets. File name: partitions.rng Version: 2009 (c) 2007-2009 Lom Hillah (AFNOR) Revision: July 2008 - L.H A Sort declaration is a user-declared sort, using built-in sorts. It defines known concrete sort declarations. An Operator declaration is a user-declared operator using built-in. constructs. PartitionOperator is a built-in operator. A Partition is a SortDecl. It is defined over a NamedSort which it refers to. Defines an element of a Partition. Its content derives from the one of built-in operator. It is a built-in operator. It defines known concrete operators. Defines the 'less than' operator between two partitions. Defines the 'greater than' operator. Returns the PartitionElement of a finite sort constant.