RELAX NG implementation of Finite Integer Ranges grammar. Finite Integer Ranges are part of the high-level common sorts. They define any finite integer range and related operators over elements of that sort. File name: finiteintranges.rng Version: 2009 (c) 2007-2009 Lom Hillah (AFNOR) Revision: July 2008 - L.H FiniteIntRange is a built-in sort. FiniteIntRangeOperator is a built-in operator. FiniteIntRangeConstant is a built-in constant. A FiniteIntRange is a built-in sort. The content of FiniteIntRangeOperator is the one of BuiltInOperator. It is a built-in operator. It defines known concrete operators. Defines the 'less than' operator. Defines the 'less than or equal' operator. Defines the 'greater than' operator. Defines the 'greater than or equal' operator. Defines the constant of a declared Finite Integer Range sort. It refers to that declared sort.