module Cgm.Data.Nat.Constants where
import Cgm.Data.Nat.Base
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