Copyright 2010-2012 Cognimeta Inc.

Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in
compliance with the License. You may obtain a copy of the License at


Unless required by applicable law or agreed to in writing, software distributed under the License is
or implied. See the License for the specific language governing permissions and limitations under the License.

module Cgm.Data.Nat.Constants where

import Cgm.Data.Nat.Base

-- putStr $ unlines $ ["type D" ++ show x ++ " = Succ D" ++ show (x-1) | x <- [1..65]]
type D1 = Succ D0
type D2 = Succ D1
type D3 = Succ D2
type D4 = Succ D3
type D5 = Succ D4
type D6 = Succ D5
type D7 = Succ D6
type D8 = Succ D7
type D9 = Succ D8
type D10 = Succ D9
type D11 = Succ D10
type D12 = Succ D11
type D13 = Succ D12
type D14 = Succ D13
type D15 = Succ D14
type D16 = Succ D15
type D17 = Succ D16
type D18 = Succ D17
type D19 = Succ D18
type D20 = Succ D19
type D21 = Succ D20
type D22 = Succ D21
type D23 = Succ D22
type D24 = Succ D23
type D25 = Succ D24
type D26 = Succ D25
type D27 = Succ D26
type D28 = Succ D27
type D29 = Succ D28
type D30 = Succ D29
type D31 = Succ D30
type D32 = Succ D31
type D33 = Succ D32
type D34 = Succ D33
type D35 = Succ D34
type D36 = Succ D35
type D37 = Succ D36
type D38 = Succ D37
type D39 = Succ D38
type D40 = Succ D39
type D41 = Succ D40
type D42 = Succ D41
type D43 = Succ D42
type D44 = Succ D43
type D45 = Succ D44
type D46 = Succ D45
type D47 = Succ D46
type D48 = Succ D47
type D49 = Succ D48
type D50 = Succ D49
type D51 = Succ D50
type D52 = Succ D51
type D53 = Succ D52
type D54 = Succ D53
type D55 = Succ D54
type D56 = Succ D55
type D57 = Succ D56
type D58 = Succ D57
type D59 = Succ D58
type D60 = Succ D59
type D61 = Succ D60
type D62 = Succ D61
type D63 = Succ D62
type D64 = Succ D63
type D65 = Succ D64

-- putStr $ unlines $ ["d" ++ show x ++ " = S d" ++ show (x-1) | x <- [1..65]]