Type level ordinal number library for G'Caml. Copyright 2009 Y.Tomino. These file is distributed under the terms of NYSL.