RELAX NG implementation of Cyclic Enumerations grammar. Cyclic enumerations are part of high-level common sorts. They define any cyclic enumeration sort and related operators over elements of that sort. File name: cyclicenumerations.rng Version: 2009 (c) 2007-2009 Lom Hillah (AFNOR) Revision: July 2008 - L.H CyclicEnumeration is a built-in sort. CyclicEnumOperator is a built-in operator. A Cyclic Enumeration is a Finite Enumeration. A finite enumeration operator is a built-in operator. A finite enumeration operator defines known concrete operators. Defines the 'successor' operator. Defines the 'predecessor' operator.