Nats

nat0 : Nat (N Nat0 a_ (Is a To a) (Is b To b))

The exact Nat 0.

nat1 :

Nat

(N

Nat1

(Nat1Plus a_)

(Is a To (Nat1Plus a))

(Is b To (Nat1Plus b))

)

The exact Nat 1.

nat10 :

Nat

(N

Nat10

(Nat10Plus a_)

(Is a To (Nat10Plus a))

(Is b To (Nat10Plus b))

)

The exact Nat 10.

nat100 :

Nat

(N

Nat100

(Nat100Plus a_)

(Is a To (Nat100Plus a))

(Is b To (Nat100Plus b))

)

The exact Nat 100.

nat101 :

Nat

(N

Nat101

(Nat101Plus a_)

(Is a To (Nat101Plus a))

(Is b To (Nat101Plus b))

)

The exact Nat 101.

nat102 :

Nat

(N

Nat102

(Nat102Plus a_)

(Is a To (Nat102Plus a))

(Is b To (Nat102Plus b))

)

The exact Nat 102.

nat103 :

Nat

(N

Nat103

(Nat103Plus a_)

(Is a To (Nat103Plus a))

(Is b To (Nat103Plus b))

)

The exact Nat 103.

nat104 :

Nat

(N

Nat104

(Nat104Plus a_)

(Is a To (Nat104Plus a))

(Is b To (Nat104Plus b))

)

The exact Nat 104.

nat105 :

Nat

(N

Nat105

(Nat105Plus a_)

(Is a To (Nat105Plus a))

(Is b To (Nat105Plus b))

)

The exact Nat 105.

nat106 :

Nat

(N

Nat106

(Nat106Plus a_)

(Is a To (Nat106Plus a))

(Is b To (Nat106Plus b))

)

The exact Nat 106.

nat107 :

Nat

(N

Nat107

(Nat107Plus a_)

(Is a To (Nat107Plus a))

(Is b To (Nat107Plus b))

)

The exact Nat 107.

nat108 :

Nat

(N

Nat108

(Nat108Plus a_)

(Is a To (Nat108Plus a))

(Is b To (Nat108Plus b))

)

The exact Nat 108.

nat109 :

Nat

(N

Nat109

(Nat109Plus a_)

(Is a To (Nat109Plus a))

(Is b To (Nat109Plus b))

)

The exact Nat 109.

nat11 :

Nat

(N

Nat11

(Nat11Plus a_)

(Is a To (Nat11Plus a))

(Is b To (Nat11Plus b))

)

The exact Nat 11.

nat110 :

Nat

(N

Nat110

(Nat110Plus a_)

(Is a To (Nat110Plus a))

(Is b To (Nat110Plus b))

)

The exact Nat 110.

nat111 :

Nat

(N

Nat111

(Nat111Plus a_)

(Is a To (Nat111Plus a))

(Is b To (Nat111Plus b))

)

The exact Nat 111.

nat112 :

Nat

(N

Nat112

(Nat112Plus a_)

(Is a To (Nat112Plus a))

(Is b To (Nat112Plus b))

)

The exact Nat 112.

nat113 :

Nat

(N

Nat113

(Nat113Plus a_)

(Is a To (Nat113Plus a))

(Is b To (Nat113Plus b))

)

The exact Nat 113.

nat114 :

Nat

(N

Nat114

(Nat114Plus a_)

(Is a To (Nat114Plus a))

(Is b To (Nat114Plus b))

)

The exact Nat 114.

nat115 :

Nat

(N

Nat115

(Nat115Plus a_)

(Is a To (Nat115Plus a))

(Is b To (Nat115Plus b))

)

The exact Nat 115.

nat116 :

Nat

(N

Nat116

(Nat116Plus a_)

(Is a To (Nat116Plus a))

(Is b To (Nat116Plus b))

)

The exact Nat 116.

nat117 :

Nat

(N

Nat117

(Nat117Plus a_)

(Is a To (Nat117Plus a))

(Is b To (Nat117Plus b))

)

The exact Nat 117.

nat118 :

Nat

(N

Nat118

(Nat118Plus a_)

(Is a To (Nat118Plus a))

(Is b To (Nat118Plus b))

)

The exact Nat 118.

nat119 :

Nat

(N

Nat119

(Nat119Plus a_)

(Is a To (Nat119Plus a))

(Is b To (Nat119Plus b))

)

The exact Nat 119.

nat12 :

Nat

(N

Nat12

(Nat12Plus a_)

(Is a To (Nat12Plus a))

(Is b To (Nat12Plus b))

)

The exact Nat 12.

nat120 :

Nat

(N

Nat120

(Nat120Plus a_)

(Is a To (Nat120Plus a))

(Is b To (Nat120Plus b))

)

The exact Nat 120.

nat121 :

Nat

(N

Nat121

(Nat121Plus a_)

(Is a To (Nat121Plus a))

(Is b To (Nat121Plus b))

)

The exact Nat 121.

nat122 :

Nat

(N

Nat122

(Nat122Plus a_)

(Is a To (Nat122Plus a))

(Is b To (Nat122Plus b))

)

The exact Nat 122.

nat123 :

Nat

(N

Nat123

(Nat123Plus a_)

(Is a To (Nat123Plus a))

(Is b To (Nat123Plus b))

)

The exact Nat 123.

nat124 :

Nat

(N

Nat124

(Nat124Plus a_)

(Is a To (Nat124Plus a))

(Is b To (Nat124Plus b))

)

The exact Nat 124.

nat125 :

Nat

(N

Nat125

(Nat125Plus a_)

(Is a To (Nat125Plus a))

(Is b To (Nat125Plus b))

)

The exact Nat 125.

nat126 :

Nat

(N

Nat126

(Nat126Plus a_)

(Is a To (Nat126Plus a))

(Is b To (Nat126Plus b))

)

The exact Nat 126.

nat127 :

Nat

(N

Nat127

(Nat127Plus a_)

(Is a To (Nat127Plus a))

(Is b To (Nat127Plus b))

)

The exact Nat 127.

nat128 :

Nat

(N

Nat128

(Nat128Plus a_)

(Is a To (Nat128Plus a))

(Is b To (Nat128Plus b))

)

The exact Nat 128.

nat129 :

Nat

(N

Nat129

(Nat129Plus a_)

(Is a To (Nat129Plus a))

(Is b To (Nat129Plus b))

)

The exact Nat 129.

nat13 :

Nat

(N

Nat13

(Nat13Plus a_)

(Is a To (Nat13Plus a))

(Is b To (Nat13Plus b))

)

The exact Nat 13.

nat130 :

Nat

(N

Nat130

(Nat130Plus a_)

(Is a To (Nat130Plus a))

(Is b To (Nat130Plus b))

)

The exact Nat 130.

nat131 :

Nat

(N

Nat131

(Nat131Plus a_)

(Is a To (Nat131Plus a))

(Is b To (Nat131Plus b))

)

The exact Nat 131.

nat132 :

Nat

(N

Nat132

(Nat132Plus a_)

(Is a To (Nat132Plus a))

(Is b To (Nat132Plus b))

)

The exact Nat 132.

nat133 :

Nat

(N

Nat133

(Nat133Plus a_)

(Is a To (Nat133Plus a))

(Is b To (Nat133Plus b))

)

The exact Nat 133.

nat134 :

Nat

(N

Nat134

(Nat134Plus a_)

(Is a To (Nat134Plus a))

(Is b To (Nat134Plus b))

)

The exact Nat 134.

nat135 :

Nat

(N

Nat135

(Nat135Plus a_)

(Is a To (Nat135Plus a))

(Is b To (Nat135Plus b))

)

The exact Nat 135.

nat136 :

Nat

(N

Nat136

(Nat136Plus a_)

(Is a To (Nat136Plus a))

(Is b To (Nat136Plus b))

)

The exact Nat 136.

nat137 :

Nat

(N

Nat137

(Nat137Plus a_)

(Is a To (Nat137Plus a))

(Is b To (Nat137Plus b))

)

The exact Nat 137.

nat138 :

Nat

(N

Nat138

(Nat138Plus a_)

(Is a To (Nat138Plus a))

(Is b To (Nat138Plus b))

)

The exact Nat 138.

nat139 :

Nat

(N

Nat139

(Nat139Plus a_)

(Is a To (Nat139Plus a))

(Is b To (Nat139Plus b))

)

The exact Nat 139.

nat14 :

Nat

(N

Nat14

(Nat14Plus a_)

(Is a To (Nat14Plus a))

(Is b To (Nat14Plus b))

)

The exact Nat 14.

nat140 :

Nat

(N

Nat140

(Nat140Plus a_)

(Is a To (Nat140Plus a))

(Is b To (Nat140Plus b))

)

The exact Nat 140.

nat141 :

Nat

(N

Nat141

(Nat141Plus a_)

(Is a To (Nat141Plus a))

(Is b To (Nat141Plus b))

)

The exact Nat 141.

nat142 :

Nat

(N

Nat142

(Nat142Plus a_)

(Is a To (Nat142Plus a))

(Is b To (Nat142Plus b))

)

The exact Nat 142.

nat143 :

Nat

(N

Nat143

(Nat143Plus a_)

(Is a To (Nat143Plus a))

(Is b To (Nat143Plus b))

)

The exact Nat 143.

nat144 :

Nat

(N

Nat144

(Nat144Plus a_)

(Is a To (Nat144Plus a))

(Is b To (Nat144Plus b))

)

The exact Nat 144.

nat145 :

Nat

(N

Nat145

(Nat145Plus a_)

(Is a To (Nat145Plus a))

(Is b To (Nat145Plus b))

)

The exact Nat 145.

nat146 :

Nat

(N

Nat146

(Nat146Plus a_)

(Is a To (Nat146Plus a))

(Is b To (Nat146Plus b))

)

The exact Nat 146.

nat147 :

Nat

(N

Nat147

(Nat147Plus a_)

(Is a To (Nat147Plus a))

(Is b To (Nat147Plus b))

)

The exact Nat 147.

nat148 :

Nat

(N

Nat148

(Nat148Plus a_)

(Is a To (Nat148Plus a))

(Is b To (Nat148Plus b))

)

The exact Nat 148.

nat149 :

Nat

(N

Nat149

(Nat149Plus a_)

(Is a To (Nat149Plus a))

(Is b To (Nat149Plus b))

)

The exact Nat 149.

nat15 :

Nat

(N

Nat15

(Nat15Plus a_)

(Is a To (Nat15Plus a))

(Is b To (Nat15Plus b))

)

The exact Nat 15.

nat150 :

Nat

(N

Nat150

(Nat150Plus a_)

(Is a To (Nat150Plus a))

(Is b To (Nat150Plus b))

)

The exact Nat 150.

nat151 :

Nat

(N

Nat151

(Nat151Plus a_)

(Is a To (Nat151Plus a))

(Is b To (Nat151Plus b))

)

The exact Nat 151.

nat152 :

Nat

(N

Nat152

(Nat152Plus a_)

(Is a To (Nat152Plus a))

(Is b To (Nat152Plus b))

)

The exact Nat 152.

nat153 :

Nat

(N

Nat153

(Nat153Plus a_)

(Is a To (Nat153Plus a))

(Is b To (Nat153Plus b))

)

The exact Nat 153.

nat154 :

Nat

(N

Nat154

(Nat154Plus a_)

(Is a To (Nat154Plus a))

(Is b To (Nat154Plus b))

)

The exact Nat 154.

nat155 :

Nat

(N

Nat155

(Nat155Plus a_)

(Is a To (Nat155Plus a))

(Is b To (Nat155Plus b))

)

The exact Nat 155.

nat156 :

Nat

(N

Nat156

(Nat156Plus a_)

(Is a To (Nat156Plus a))

(Is b To (Nat156Plus b))

)

The exact Nat 156.

nat157 :

Nat

(N

Nat157

(Nat157Plus a_)

(Is a To (Nat157Plus a))

(Is b To (Nat157Plus b))

)

The exact Nat 157.

nat158 :

Nat

(N

Nat158

(Nat158Plus a_)

(Is a To (Nat158Plus a))

(Is b To (Nat158Plus b))

)

The exact Nat 158.

nat159 :

Nat

(N

Nat159

(Nat159Plus a_)

(Is a To (Nat159Plus a))

(Is b To (Nat159Plus b))

)

The exact Nat 159.

nat16 :

Nat

(N

Nat16

(Nat16Plus a_)

(Is a To (Nat16Plus a))

(Is b To (Nat16Plus b))

)

The exact Nat 16.

nat160 :

Nat

(N

Nat160

(Nat160Plus a_)

(Is a To (Nat160Plus a))

(Is b To (Nat160Plus b))

)

The exact Nat 160.

nat17 :

Nat

(N

Nat17

(Nat17Plus a_)

(Is a To (Nat17Plus a))

(Is b To (Nat17Plus b))

)

The exact Nat 17.

nat18 :

Nat

(N

Nat18

(Nat18Plus a_)

(Is a To (Nat18Plus a))

(Is b To (Nat18Plus b))

)

The exact Nat 18.

nat19 :

Nat

(N

Nat19

(Nat19Plus a_)

(Is a To (Nat19Plus a))

(Is b To (Nat19Plus b))

)

The exact Nat 19.

nat2 :

Nat

(N

Nat2

(Nat2Plus a_)

(Is a To (Nat2Plus a))

(Is b To (Nat2Plus b))

)

The exact Nat 2.

nat20 :

Nat

(N

Nat20

(Nat20Plus a_)

(Is a To (Nat20Plus a))

(Is b To (Nat20Plus b))

)

The exact Nat 20.

nat21 :

Nat

(N

Nat21

(Nat21Plus a_)

(Is a To (Nat21Plus a))

(Is b To (Nat21Plus b))

)

The exact Nat 21.

nat22 :

Nat

(N

Nat22

(Nat22Plus a_)

(Is a To (Nat22Plus a))

(Is b To (Nat22Plus b))

)

The exact Nat 22.

nat23 :

Nat

(N

Nat23

(Nat23Plus a_)

(Is a To (Nat23Plus a))

(Is b To (Nat23Plus b))

)

The exact Nat 23.

nat24 :

Nat

(N

Nat24

(Nat24Plus a_)

(Is a To (Nat24Plus a))

(Is b To (Nat24Plus b))

)

The exact Nat 24.

nat25 :

Nat

(N

Nat25

(Nat25Plus a_)

(Is a To (Nat25Plus a))

(Is b To (Nat25Plus b))

)

The exact Nat 25.

nat26 :

Nat

(N

Nat26

(Nat26Plus a_)

(Is a To (Nat26Plus a))

(Is b To (Nat26Plus b))

)

The exact Nat 26.

nat27 :

Nat

(N

Nat27

(Nat27Plus a_)

(Is a To (Nat27Plus a))

(Is b To (Nat27Plus b))

)

The exact Nat 27.

nat28 :

Nat

(N

Nat28

(Nat28Plus a_)

(Is a To (Nat28Plus a))

(Is b To (Nat28Plus b))

)

The exact Nat 28.

nat29 :

Nat

(N

Nat29

(Nat29Plus a_)

(Is a To (Nat29Plus a))

(Is b To (Nat29Plus b))

)

The exact Nat 29.

nat3 :

Nat

(N

Nat3

(Nat3Plus a_)

(Is a To (Nat3Plus a))

(Is b To (Nat3Plus b))

)

The exact Nat 3.

nat30 :

Nat

(N

Nat30

(Nat30Plus a_)

(Is a To (Nat30Plus a))

(Is b To (Nat30Plus b))

)

The exact Nat 30.

nat31 :

Nat

(N

Nat31

(Nat31Plus a_)

(Is a To (Nat31Plus a))

(Is b To (Nat31Plus b))

)

The exact Nat 31.

nat32 :

Nat

(N

Nat32

(Nat32Plus a_)

(Is a To (Nat32Plus a))

(Is b To (Nat32Plus b))

)

The exact Nat 32.

nat33 :

Nat

(N

Nat33

(Nat33Plus a_)

(Is a To (Nat33Plus a))

(Is b To (Nat33Plus b))

)

The exact Nat 33.

nat34 :

Nat

(N

Nat34

(Nat34Plus a_)

(Is a To (Nat34Plus a))

(Is b To (Nat34Plus b))

)

The exact Nat 34.

nat35 :

Nat

(N

Nat35

(Nat35Plus a_)

(Is a To (Nat35Plus a))

(Is b To (Nat35Plus b))

)

The exact Nat 35.

nat36 :

Nat

(N

Nat36

(Nat36Plus a_)

(Is a To (Nat36Plus a))

(Is b To (Nat36Plus b))

)

The exact Nat 36.

nat37 :

Nat

(N

Nat37

(Nat37Plus a_)

(Is a To (Nat37Plus a))

(Is b To (Nat37Plus b))

)

The exact Nat 37.

nat38 :

Nat

(N

Nat38

(Nat38Plus a_)

(Is a To (Nat38Plus a))

(Is b To (Nat38Plus b))

)

The exact Nat 38.

nat39 :

Nat

(N

Nat39

(Nat39Plus a_)

(Is a To (Nat39Plus a))

(Is b To (Nat39Plus b))

)

The exact Nat 39.

nat4 :

Nat

(N

Nat4

(Nat4Plus a_)

(Is a To (Nat4Plus a))

(Is b To (Nat4Plus b))

)

The exact Nat 4.

nat40 :

Nat

(N

Nat40

(Nat40Plus a_)

(Is a To (Nat40Plus a))

(Is b To (Nat40Plus b))

)

The exact Nat 40.

nat41 :

Nat

(N

Nat41

(Nat41Plus a_)

(Is a To (Nat41Plus a))

(Is b To (Nat41Plus b))

)

The exact Nat 41.

nat42 :

Nat

(N

Nat42

(Nat42Plus a_)

(Is a To (Nat42Plus a))

(Is b To (Nat42Plus b))

)

The exact Nat 42.

nat43 :

Nat

(N

Nat43

(Nat43Plus a_)

(Is a To (Nat43Plus a))

(Is b To (Nat43Plus b))

)

The exact Nat 43.

nat44 :

Nat

(N

Nat44

(Nat44Plus a_)

(Is a To (Nat44Plus a))

(Is b To (Nat44Plus b))

)

The exact Nat 44.

nat45 :

Nat

(N

Nat45

(Nat45Plus a_)

(Is a To (Nat45Plus a))

(Is b To (Nat45Plus b))

)

The exact Nat 45.

nat46 :

Nat

(N

Nat46

(Nat46Plus a_)

(Is a To (Nat46Plus a))

(Is b To (Nat46Plus b))

)

The exact Nat 46.

nat47 :

Nat

(N

Nat47

(Nat47Plus a_)

(Is a To (Nat47Plus a))

(Is b To (Nat47Plus b))

)

The exact Nat 47.

nat48 :

Nat

(N

Nat48

(Nat48Plus a_)

(Is a To (Nat48Plus a))

(Is b To (Nat48Plus b))

)

The exact Nat 48.

nat49 :

Nat

(N

Nat49

(Nat49Plus a_)

(Is a To (Nat49Plus a))

(Is b To (Nat49Plus b))

)

The exact Nat 49.

nat5 :

Nat

(N

Nat5

(Nat5Plus a_)

(Is a To (Nat5Plus a))

(Is b To (Nat5Plus b))

)

The exact Nat 5.

nat50 :

Nat

(N

Nat50

(Nat50Plus a_)

(Is a To (Nat50Plus a))

(Is b To (Nat50Plus b))

)

The exact Nat 50.

nat51 :

Nat

(N

Nat51

(Nat51Plus a_)

(Is a To (Nat51Plus a))

(Is b To (Nat51Plus b))

)

The exact Nat 51.

nat52 :

Nat

(N

Nat52

(Nat52Plus a_)

(Is a To (Nat52Plus a))

(Is b To (Nat52Plus b))

)

The exact Nat 52.

nat53 :

Nat

(N

Nat53

(Nat53Plus a_)

(Is a To (Nat53Plus a))

(Is b To (Nat53Plus b))

)

The exact Nat 53.

nat54 :

Nat

(N

Nat54

(Nat54Plus a_)

(Is a To (Nat54Plus a))

(Is b To (Nat54Plus b))

)

The exact Nat 54.

nat55 :

Nat

(N

Nat55

(Nat55Plus a_)

(Is a To (Nat55Plus a))

(Is b To (Nat55Plus b))

)

The exact Nat 55.

nat56 :

Nat

(N

Nat56

(Nat56Plus a_)

(Is a To (Nat56Plus a))

(Is b To (Nat56Plus b))

)

The exact Nat 56.

nat57 :

Nat

(N

Nat57

(Nat57Plus a_)

(Is a To (Nat57Plus a))

(Is b To (Nat57Plus b))

)

The exact Nat 57.

nat58 :

Nat

(N

Nat58

(Nat58Plus a_)

(Is a To (Nat58Plus a))

(Is b To (Nat58Plus b))

)

The exact Nat 58.

nat59 :

Nat

(N

Nat59

(Nat59Plus a_)

(Is a To (Nat59Plus a))

(Is b To (Nat59Plus b))

)

The exact Nat 59.

nat6 :

Nat

(N

Nat6

(Nat6Plus a_)

(Is a To (Nat6Plus a))

(Is b To (Nat6Plus b))

)

The exact Nat 6.

nat60 :

Nat

(N

Nat60

(Nat60Plus a_)

(Is a To (Nat60Plus a))

(Is b To (Nat60Plus b))

)

The exact Nat 60.

nat61 :

Nat

(N

Nat61

(Nat61Plus a_)

(Is a To (Nat61Plus a))

(Is b To (Nat61Plus b))

)

The exact Nat 61.

nat62 :

Nat

(N

Nat62

(Nat62Plus a_)

(Is a To (Nat62Plus a))

(Is b To (Nat62Plus b))

)

The exact Nat 62.

nat63 :

Nat

(N

Nat63

(Nat63Plus a_)

(Is a To (Nat63Plus a))

(Is b To (Nat63Plus b))

)

The exact Nat 63.

nat64 :

Nat

(N

Nat64

(Nat64Plus a_)

(Is a To (Nat64Plus a))

(Is b To (Nat64Plus b))

)

The exact Nat 64.

nat65 :

Nat

(N

Nat65

(Nat65Plus a_)

(Is a To (Nat65Plus a))

(Is b To (Nat65Plus b))

)

The exact Nat 65.

nat66 :

Nat

(N

Nat66

(Nat66Plus a_)

(Is a To (Nat66Plus a))

(Is b To (Nat66Plus b))

)

The exact Nat 66.

nat67 :

Nat

(N

Nat67

(Nat67Plus a_)

(Is a To (Nat67Plus a))

(Is b To (Nat67Plus b))

)

The exact Nat 67.

nat68 :

Nat

(N

Nat68

(Nat68Plus a_)

(Is a To (Nat68Plus a))

(Is b To (Nat68Plus b))

)

The exact Nat 68.

nat69 :

Nat

(N

Nat69

(Nat69Plus a_)

(Is a To (Nat69Plus a))

(Is b To (Nat69Plus b))

)

The exact Nat 69.

nat7 :

Nat

(N

Nat7

(Nat7Plus a_)

(Is a To (Nat7Plus a))

(Is b To (Nat7Plus b))

)

The exact Nat 7.

nat70 :

Nat

(N

Nat70

(Nat70Plus a_)

(Is a To (Nat70Plus a))

(Is b To (Nat70Plus b))

)

The exact Nat 70.

nat71 :

Nat

(N

Nat71

(Nat71Plus a_)

(Is a To (Nat71Plus a))

(Is b To (Nat71Plus b))

)

The exact Nat 71.

nat72 :

Nat

(N

Nat72

(Nat72Plus a_)

(Is a To (Nat72Plus a))

(Is b To (Nat72Plus b))

)

The exact Nat 72.

nat73 :

Nat

(N

Nat73

(Nat73Plus a_)

(Is a To (Nat73Plus a))

(Is b To (Nat73Plus b))

)

The exact Nat 73.

nat74 :

Nat

(N

Nat74

(Nat74Plus a_)

(Is a To (Nat74Plus a))

(Is b To (Nat74Plus b))

)

The exact Nat 74.

nat75 :

Nat

(N

Nat75

(Nat75Plus a_)

(Is a To (Nat75Plus a))

(Is b To (Nat75Plus b))

)

The exact Nat 75.

nat76 :

Nat

(N

Nat76

(Nat76Plus a_)

(Is a To (Nat76Plus a))

(Is b To (Nat76Plus b))

)

The exact Nat 76.

nat77 :

Nat

(N

Nat77

(Nat77Plus a_)

(Is a To (Nat77Plus a))

(Is b To (Nat77Plus b))

)

The exact Nat 77.

nat78 :

Nat

(N

Nat78

(Nat78Plus a_)

(Is a To (Nat78Plus a))

(Is b To (Nat78Plus b))

)

The exact Nat 78.

nat79 :

Nat

(N

Nat79

(Nat79Plus a_)

(Is a To (Nat79Plus a))

(Is b To (Nat79Plus b))

)

The exact Nat 79.

nat8 :

Nat

(N

Nat8

(Nat8Plus a_)

(Is a To (Nat8Plus a))

(Is b To (Nat8Plus b))

)

The exact Nat 8.

nat80 :

Nat

(N

Nat80

(Nat80Plus a_)

(Is a To (Nat80Plus a))

(Is b To (Nat80Plus b))

)

The exact Nat 80.

nat81 :

Nat

(N

Nat81

(Nat81Plus a_)

(Is a To (Nat81Plus a))

(Is b To (Nat81Plus b))

)

The exact Nat 81.

nat82 :

Nat

(N

Nat82

(Nat82Plus a_)

(Is a To (Nat82Plus a))

(Is b To (Nat82Plus b))

)

The exact Nat 82.

nat83 :

Nat

(N

Nat83

(Nat83Plus a_)

(Is a To (Nat83Plus a))

(Is b To (Nat83Plus b))

)

The exact Nat 83.

nat84 :

Nat

(N

Nat84

(Nat84Plus a_)

(Is a To (Nat84Plus a))

(Is b To (Nat84Plus b))

)

The exact Nat 84.

nat85 :

Nat

(N

Nat85

(Nat85Plus a_)

(Is a To (Nat85Plus a))

(Is b To (Nat85Plus b))

)

The exact Nat 85.

nat86 :

Nat

(N

Nat86

(Nat86Plus a_)

(Is a To (Nat86Plus a))

(Is b To (Nat86Plus b))

)

The exact Nat 86.

nat87 :

Nat

(N

Nat87

(Nat87Plus a_)

(Is a To (Nat87Plus a))

(Is b To (Nat87Plus b))

)

The exact Nat 87.

nat88 :

Nat

(N

Nat88

(Nat88Plus a_)

(Is a To (Nat88Plus a))

(Is b To (Nat88Plus b))

)

The exact Nat 88.

nat89 :

Nat

(N

Nat89

(Nat89Plus a_)

(Is a To (Nat89Plus a))

(Is b To (Nat89Plus b))

)

The exact Nat 89.

nat9 :

Nat

(N

Nat9

(Nat9Plus a_)

(Is a To (Nat9Plus a))

(Is b To (Nat9Plus b))

)

The exact Nat 9.

nat90 :

Nat

(N

Nat90

(Nat90Plus a_)

(Is a To (Nat90Plus a))

(Is b To (Nat90Plus b))

)

The exact Nat 90.

nat91 :

Nat

(N

Nat91

(Nat91Plus a_)

(Is a To (Nat91Plus a))

(Is b To (Nat91Plus b))

)

The exact Nat 91.

nat92 :

Nat

(N

Nat92

(Nat92Plus a_)

(Is a To (Nat92Plus a))

(Is b To (Nat92Plus b))

)

The exact Nat 92.

nat93 :

Nat

(N

Nat93

(Nat93Plus a_)

(Is a To (Nat93Plus a))

(Is b To (Nat93Plus b))

)

The exact Nat 93.

nat94 :

Nat

(N

Nat94

(Nat94Plus a_)

(Is a To (Nat94Plus a))

(Is b To (Nat94Plus b))

)

The exact Nat 94.

nat95 :

Nat

(N

Nat95

(Nat95Plus a_)

(Is a To (Nat95Plus a))

(Is b To (Nat95Plus b))

)

The exact Nat 95.

nat96 :

Nat

(N

Nat96

(Nat96Plus a_)

(Is a To (Nat96Plus a))

(Is b To (Nat96Plus b))

)

The exact Nat 96.

nat97 :

Nat

(N

Nat97

(Nat97Plus a_)

(Is a To (Nat97Plus a))

(Is b To (Nat97Plus b))

)

The exact Nat 97.

nat98 :

Nat

(N

Nat98

(Nat98Plus a_)

(Is a To (Nat98Plus a))

(Is b To (Nat98Plus b))

)

The exact Nat 98.

nat99 :

Nat

(N

Nat99

(Nat99Plus a_)

(Is a To (Nat99Plus a))

(Is b To (Nat99Plus b))

)

The exact Nat 99.

type alias Nat100Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

100 + some natural number n.

type alias Nat101Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

101 + some natural number n.

type alias Nat102Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

102 + some natural number n.

type alias Nat103Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

103 + some natural number n.

type alias Nat104Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

104 + some natural number n.

type alias Nat105Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

105 + some natural number n.

type alias Nat106Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

106 + some natural number n.

type alias Nat107Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

107 + some natural number n.

type alias Nat108Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

108 + some natural number n.

type alias Nat109Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

109 + some natural number n.

type alias Nat10Plus n =

S (S (S (S (S (S (S (S (S (S n)))))))))

10 + some natural number n.

type alias Nat110Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

110 + some natural number n.

type alias Nat111Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

111 + some natural number n.

type alias Nat112Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

112 + some natural number n.

type alias Nat113Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

113 + some natural number n.

type alias Nat114Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

114 + some natural number n.

type alias Nat115Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

115 + some natural number n.

type alias Nat116Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

116 + some natural number n.

type alias Nat117Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

117 + some natural number n.

type alias Nat118Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

118 + some natural number n.

type alias Nat119Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

119 + some natural number n.

type alias Nat11Plus n =

S (S (S (S (S (S (S (S (S (S (S n))))))))))

11 + some natural number n.

type alias Nat120Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

120 + some natural number n.

type alias Nat121Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

121 + some natural number n.

type alias Nat122Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

122 + some natural number n.

type alias Nat123Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

123 + some natural number n.

type alias Nat124Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

124 + some natural number n.

type alias Nat125Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

125 + some natural number n.

type alias Nat126Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

126 + some natural number n.

type alias Nat127Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

127 + some natural number n.

type alias Nat128Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

128 + some natural number n.

type alias Nat129Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

129 + some natural number n.

type alias Nat12Plus n =

S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))

12 + some natural number n.

type alias Nat130Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

130 + some natural number n.

type alias Nat131Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

131 + some natural number n.

type alias Nat132Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

132 + some natural number n.

type alias Nat133Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

133 + some natural number n.

type alias Nat134Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

134 + some natural number n.

type alias Nat135Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

135 + some natural number n.

type alias Nat136Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

136 + some natural number n.

type alias Nat137Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

137 + some natural number n.

type alias Nat138Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

138 + some natural number n.

type alias Nat139Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

139 + some natural number n.

type alias Nat13Plus n =

S (S (S (S (S (S (S (S (S (S (S (S (S n))))))))))))

13 + some natural number n.

type alias Nat140Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

140 + some natural number n.

type alias Nat141Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

141 + some natural number n.

type alias Nat142Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

142 + some natural number n.

type alias Nat143Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

143 + some natural number n.

type alias Nat144Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

144 + some natural number n.

type alias Nat145Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

145 + some natural number n.

type alias Nat146Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

146 + some natural number n.

type alias Nat147Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

147 + some natural number n.

type alias Nat148Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

148 + some natural number n.

type alias Nat149Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

149 + some natural number n.

type alias Nat14Plus n =

S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))

14 + some natural number n.

type alias Nat150Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

150 + some natural number n.

type alias Nat151Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

151 + some natural number n.

type alias Nat152Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

152 + some natural number n.

type alias Nat153Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

153 + some natural number n.

type alias Nat154Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

154 + some natural number n.

type alias Nat155Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

155 + some natural number n.

type alias Nat156Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

156 + some natural number n.

type alias Nat157Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

157 + some natural number n.

type alias Nat158Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

158 + some natural number n.

type alias Nat159Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

159 + some natural number n.

type alias Nat15Plus n =

S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n))))))))))))))

15 + some natural number n.

type alias Nat160Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

160 + some natural number n.

type alias Nat16Plus n =

S (S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

16 + some natural number n.

type alias Nat17Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

17 + some natural number n.

type alias Nat18Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

18 + some natural number n.

type alias Nat19Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

19 + some natural number n.

type alias Nat1Plus n =

S n

1 + some natural number n.

type alias Nat20Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

20 + some natural number n.

type alias Nat21Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

21 + some natural number n.

type alias Nat22Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

22 + some natural number n.

type alias Nat23Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

23 + some natural number n.

type alias Nat24Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

24 + some natural number n.

type alias Nat25Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

25 + some natural number n.

type alias Nat26Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

26 + some natural number n.

type alias Nat27Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

27 + some natural number n.

type alias Nat28Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

28 + some natural number n.

type alias Nat29Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

29 + some natural number n.

type alias Nat2Plus n =

S (S n)

2 + some natural number n.

type alias Nat30Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

30 + some natural number n.

type alias Nat31Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

31 + some natural number n.

type alias Nat32Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

32 + some natural number n.

type alias Nat33Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

33 + some natural number n.

type alias Nat34Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

34 + some natural number n.

type alias Nat35Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

35 + some natural number n.

type alias Nat36Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

36 + some natural number n.

type alias Nat37Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

37 + some natural number n.

type alias Nat38Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

38 + some natural number n.

type alias Nat39Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

39 + some natural number n.

type alias Nat3Plus n =

S (S (S n))

3 + some natural number n.

type alias Nat40Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

40 + some natural number n.

type alias Nat41Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

41 + some natural number n.

type alias Nat42Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

42 + some natural number n.

type alias Nat43Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

43 + some natural number n.

type alias Nat44Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

44 + some natural number n.

type alias Nat45Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

45 + some natural number n.

type alias Nat46Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

46 + some natural number n.

type alias Nat47Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

47 + some natural number n.

type alias Nat48Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

48 + some natural number n.

type alias Nat49Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

49 + some natural number n.

type alias Nat4Plus n =

S (S (S (S n)))

4 + some natural number n.

type alias Nat50Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

50 + some natural number n.

type alias Nat51Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

51 + some natural number n.

type alias Nat52Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

52 + some natural number n.

type alias Nat53Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

53 + some natural number n.

type alias Nat54Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

54 + some natural number n.

type alias Nat55Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

55 + some natural number n.

type alias Nat56Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

56 + some natural number n.

type alias Nat57Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

57 + some natural number n.

type alias Nat58Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

58 + some natural number n.

type alias Nat59Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

59 + some natural number n.

type alias Nat5Plus n =

S (S (S (S (S n))))

5 + some natural number n.

type alias Nat60Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

60 + some natural number n.

type alias Nat61Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

61 + some natural number n.

type alias Nat62Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

62 + some natural number n.

type alias Nat63Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

63 + some natural number n.

type alias Nat64Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

64 + some natural number n.

type alias Nat65Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

65 + some natural number n.

type alias Nat66Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

66 + some natural number n.

type alias Nat67Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

67 + some natural number n.

type alias Nat68Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

68 + some natural number n.

type alias Nat69Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

69 + some natural number n.

type alias Nat6Plus n =

S (S (S (S (S (S n)))))

6 + some natural number n.

type alias Nat70Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

70 + some natural number n.

type alias Nat71Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

71 + some natural number n.

type alias Nat72Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

72 + some natural number n.

type alias Nat73Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

73 + some natural number n.

type alias Nat74Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

74 + some natural number n.

type alias Nat75Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

75 + some natural number n.

type alias Nat76Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

76 + some natural number n.

type alias Nat77Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

77 + some natural number n.

type alias Nat78Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

78 + some natural number n.

type alias Nat79Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

79 + some natural number n.

type alias Nat7Plus n =

S (S (S (S (S (S (S n))))))

7 + some natural number n.

type alias Nat80Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

80 + some natural number n.

type alias Nat81Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

81 + some natural number n.

type alias Nat82Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

82 + some natural number n.

type alias Nat83Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

83 + some natural number n.

type alias Nat84Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

84 + some natural number n.

type alias Nat85Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

85 + some natural number n.

type alias Nat86Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

86 + some natural number n.

type alias Nat87Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

87 + some natural number n.

type alias Nat88Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

88 + some natural number n.

type alias Nat89Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

89 + some natural number n.

type alias Nat8Plus n =

S (S (S (S (S (S (S (S n)))))))

8 + some natural number n.

type alias Nat90Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

90 + some natural number n.

type alias Nat91Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

91 + some natural number n.

type alias Nat92Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

92 + some natural number n.

type alias Nat93Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

93 + some natural number n.

type alias Nat94Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

94 + some natural number n.

type alias Nat95Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

95 + some natural number n.

type alias Nat96Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

96 + some natural number n.

type alias Nat97Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

97 + some natural number n.

type alias Nat98Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

98 + some natural number n.

type alias Nat99Plus n =

S

(S

(S (S (S (S (S (S (S (S (S (S (S (S (S (S (S n)))))))))))))))

)

99 + some natural number n.

type alias Nat9Plus n =

S (S (S (S (S (S (S (S (S n))))))))

9 + some natural number n.

type alias Nat0 =

Z

Exact the natural number 0.

type alias Nat1 =

Nat1Plus Z

Exact the natural number 1.

type alias Nat10 =

Nat10Plus Z

Exact the natural number 10.

type alias Nat100 =

Nat100Plus Z

Exact the natural number 100.

type alias Nat101 =

Nat101Plus Z

Exact the natural number 101.

type alias Nat102 =

Nat102Plus Z

Exact the natural number 102.

type alias Nat103 =

Nat103Plus Z

Exact the natural number 103.

type alias Nat104 =

Nat104Plus Z

Exact the natural number 104.

type alias Nat105 =

Nat105Plus Z

Exact the natural number 105.

type alias Nat106 =

Nat106Plus Z

Exact the natural number 106.

type alias Nat107 =

Nat107Plus Z

Exact the natural number 107.

type alias Nat108 =

Nat108Plus Z

Exact the natural number 108.

type alias Nat109 =

Nat109Plus Z

Exact the natural number 109.

type alias Nat11 =

Nat11Plus Z

Exact the natural number 11.

type alias Nat110 =

Nat110Plus Z

Exact the natural number 110.

type alias Nat111 =

Nat111Plus Z

Exact the natural number 111.

type alias Nat112 =

Nat112Plus Z

Exact the natural number 112.

type alias Nat113 =

Nat113Plus Z

Exact the natural number 113.

type alias Nat114 =

Nat114Plus Z

Exact the natural number 114.

type alias Nat115 =

Nat115Plus Z

Exact the natural number 115.

type alias Nat116 =

Nat116Plus Z

Exact the natural number 116.

type alias Nat117 =

Nat117Plus Z

Exact the natural number 117.

type alias Nat118 =

Nat118Plus Z

Exact the natural number 118.

type alias Nat119 =

Nat119Plus Z

Exact the natural number 119.

type alias Nat12 =

Nat12Plus Z

Exact the natural number 12.

type alias Nat120 =

Nat120Plus Z

Exact the natural number 120.

type alias Nat121 =

Nat121Plus Z

Exact the natural number 121.

type alias Nat122 =

Nat122Plus Z

Exact the natural number 122.

type alias Nat123 =

Nat123Plus Z

Exact the natural number 123.

type alias Nat124 =

Nat124Plus Z

Exact the natural number 124.

type alias Nat125 =

Nat125Plus Z

Exact the natural number 125.

type alias Nat126 =

Nat126Plus Z

Exact the natural number 126.

type alias Nat127 =

Nat127Plus Z

Exact the natural number 127.

type alias Nat128 =

Nat128Plus Z

Exact the natural number 128.

type alias Nat129 =

Nat129Plus Z

Exact the natural number 129.

type alias Nat13 =

Nat13Plus Z

Exact the natural number 13.

type alias Nat130 =

Nat130Plus Z

Exact the natural number 130.

type alias Nat131 =

Nat131Plus Z

Exact the natural number 131.

type alias Nat132 =

Nat132Plus Z

Exact the natural number 132.

type alias Nat133 =

Nat133Plus Z

Exact the natural number 133.

type alias Nat134 =

Nat134Plus Z

Exact the natural number 134.

type alias Nat135 =

Nat135Plus Z

Exact the natural number 135.

type alias Nat136 =

Nat136Plus Z

Exact the natural number 136.

type alias Nat137 =

Nat137Plus Z

Exact the natural number 137.

type alias Nat138 =

Nat138Plus Z

Exact the natural number 138.

type alias Nat139 =

Nat139Plus Z

Exact the natural number 139.

type alias Nat14 =

Nat14Plus Z

Exact the natural number 14.

type alias Nat140 =

Nat140Plus Z

Exact the natural number 140.

type alias Nat141 =

Nat141Plus Z

Exact the natural number 141.

type alias Nat142 =

Nat142Plus Z

Exact the natural number 142.

type alias Nat143 =

Nat143Plus Z

Exact the natural number 143.

type alias Nat144 =

Nat144Plus Z

Exact the natural number 144.

type alias Nat145 =

Nat145Plus Z

Exact the natural number 145.

type alias Nat146 =

Nat146Plus Z

Exact the natural number 146.

type alias Nat147 =

Nat147Plus Z

Exact the natural number 147.

type alias Nat148 =

Nat148Plus Z

Exact the natural number 148.

type alias Nat149 =

Nat149Plus Z

Exact the natural number 149.

type alias Nat15 =

Nat15Plus Z

Exact the natural number 15.

type alias Nat150 =

Nat150Plus Z

Exact the natural number 150.

type alias Nat151 =

Nat151Plus Z

Exact the natural number 151.

type alias Nat152 =

Nat152Plus Z

Exact the natural number 152.

type alias Nat153 =

Nat153Plus Z

Exact the natural number 153.

type alias Nat154 =

Nat154Plus Z

Exact the natural number 154.

type alias Nat155 =

Nat155Plus Z

Exact the natural number 155.

type alias Nat156 =

Nat156Plus Z

Exact the natural number 156.

type alias Nat157 =

Nat157Plus Z

Exact the natural number 157.

type alias Nat158 =

Nat158Plus Z

Exact the natural number 158.

type alias Nat159 =

Nat159Plus Z

Exact the natural number 159.

type alias Nat16 =

Nat16Plus Z

Exact the natural number 16.

type alias Nat160 =

Nat160Plus Z

Exact the natural number 160.

type alias Nat17 =

Nat17Plus Z

Exact the natural number 17.

type alias Nat18 =

Nat18Plus Z

Exact the natural number 18.

type alias Nat19 =

Nat19Plus Z

Exact the natural number 19.

type alias Nat2 =

Nat2Plus Z

Exact the natural number 2.

type alias Nat20 =

Nat20Plus Z

Exact the natural number 20.

type alias Nat21 =

Nat21Plus Z

Exact the natural number 21.

type alias Nat22 =

Nat22Plus Z

Exact the natural number 22.

type alias Nat23 =

Nat23Plus Z

Exact the natural number 23.

type alias Nat24 =

Nat24Plus Z

Exact the natural number 24.

type alias Nat25 =

Nat25Plus Z

Exact the natural number 25.

type alias Nat26 =

Nat26Plus Z

Exact the natural number 26.

type alias Nat27 =

Nat27Plus Z

Exact the natural number 27.

type alias Nat28 =

Nat28Plus Z

Exact the natural number 28.

type alias Nat29 =

Nat29Plus Z

Exact the natural number 29.

type alias Nat3 =

Nat3Plus Z

Exact the natural number 3.

type alias Nat30 =

Nat30Plus Z

Exact the natural number 30.

type alias Nat31 =

Nat31Plus Z

Exact the natural number 31.

type alias Nat32 =

Nat32Plus Z

Exact the natural number 32.

type alias Nat33 =

Nat33Plus Z

Exact the natural number 33.

type alias Nat34 =

Nat34Plus Z

Exact the natural number 34.

type alias Nat35 =

Nat35Plus Z

Exact the natural number 35.

type alias Nat36 =

Nat36Plus Z

Exact the natural number 36.

type alias Nat37 =

Nat37Plus Z

Exact the natural number 37.

type alias Nat38 =

Nat38Plus Z

Exact the natural number 38.

type alias Nat39 =

Nat39Plus Z

Exact the natural number 39.

type alias Nat4 =

Nat4Plus Z

Exact the natural number 4.

type alias Nat40 =

Nat40Plus Z

Exact the natural number 40.

type alias Nat41 =

Nat41Plus Z

Exact the natural number 41.

type alias Nat42 =

Nat42Plus Z

Exact the natural number 42.

type alias Nat43 =

Nat43Plus Z

Exact the natural number 43.

type alias Nat44 =

Nat44Plus Z

Exact the natural number 44.

type alias Nat45 =

Nat45Plus Z

Exact the natural number 45.

type alias Nat46 =

Nat46Plus Z

Exact the natural number 46.

type alias Nat47 =

Nat47Plus Z

Exact the natural number 47.

type alias Nat48 =

Nat48Plus Z

Exact the natural number 48.

type alias Nat49 =

Nat49Plus Z

Exact the natural number 49.

type alias Nat5 =

Nat5Plus Z

Exact the natural number 5.

type alias Nat50 =

Nat50Plus Z

Exact the natural number 50.

type alias Nat51 =

Nat51Plus Z

Exact the natural number 51.

type alias Nat52 =

Nat52Plus Z

Exact the natural number 52.

type alias Nat53 =

Nat53Plus Z

Exact the natural number 53.

type alias Nat54 =

Nat54Plus Z

Exact the natural number 54.

type alias Nat55 =

Nat55Plus Z

Exact the natural number 55.

type alias Nat56 =

Nat56Plus Z

Exact the natural number 56.

type alias Nat57 =

Nat57Plus Z

Exact the natural number 57.

type alias Nat58 =

Nat58Plus Z

Exact the natural number 58.

type alias Nat59 =

Nat59Plus Z

Exact the natural number 59.

type alias Nat6 =

Nat6Plus Z

Exact the natural number 6.

type alias Nat60 =

Nat60Plus Z

Exact the natural number 60.

type alias Nat61 =

Nat61Plus Z

Exact the natural number 61.

type alias Nat62 =

Nat62Plus Z

Exact the natural number 62.

type alias Nat63 =

Nat63Plus Z

Exact the natural number 63.

type alias Nat64 =

Nat64Plus Z

Exact the natural number 64.

type alias Nat65 =

Nat65Plus Z

Exact the natural number 65.

type alias Nat66 =

Nat66Plus Z

Exact the natural number 66.

type alias Nat67 =

Nat67Plus Z

Exact the natural number 67.

type alias Nat68 =

Nat68Plus Z

Exact the natural number 68.

type alias Nat69 =

Nat69Plus Z

Exact the natural number 69.

type alias Nat7 =

Nat7Plus Z

Exact the natural number 7.

type alias Nat70 =

Nat70Plus Z

Exact the natural number 70.

type alias Nat71 =

Nat71Plus Z

Exact the natural number 71.

type alias Nat72 =

Nat72Plus Z

Exact the natural number 72.

type alias Nat73 =

Nat73Plus Z

Exact the natural number 73.

type alias Nat74 =

Nat74Plus Z

Exact the natural number 74.

type alias Nat75 =

Nat75Plus Z

Exact the natural number 75.

type alias Nat76 =

Nat76Plus Z

Exact the natural number 76.

type alias Nat77 =

Nat77Plus Z

Exact the natural number 77.

type alias Nat78 =

Nat78Plus Z

Exact the natural number 78.

type alias Nat79 =

Nat79Plus Z

Exact the natural number 79.

type alias Nat8 =

Nat8Plus Z

Exact the natural number 8.

type alias Nat80 =

Nat80Plus Z

Exact the natural number 80.

type alias Nat81 =

Nat81Plus Z

Exact the natural number 81.

type alias Nat82 =

Nat82Plus Z

Exact the natural number 82.

type alias Nat83 =

Nat83Plus Z

Exact the natural number 83.

type alias Nat84 =

Nat84Plus Z

Exact the natural number 84.

type alias Nat85 =

Nat85Plus Z

Exact the natural number 85.

type alias Nat86 =

Nat86Plus Z

Exact the natural number 86.

type alias Nat87 =

Nat87Plus Z

Exact the natural number 87.

type alias Nat88 =

Nat88Plus Z

Exact the natural number 88.

type alias Nat89 =

Nat89Plus Z

Exact the natural number 89.

type alias Nat9 =

Nat9Plus Z

Exact the natural number 9.

type alias Nat90 =

Nat90Plus Z

Exact the natural number 90.

type alias Nat91 =

Nat91Plus Z

Exact the natural number 91.

type alias Nat92 =

Nat92Plus Z

Exact the natural number 92.

type alias Nat93 =

Nat93Plus Z

Exact the natural number 93.

type alias Nat94 =

Nat94Plus Z

Exact the natural number 94.

type alias Nat95 =

Nat95Plus Z

Exact the natural number 95.

type alias Nat96 =

Nat96Plus Z

Exact the natural number 96.

type alias Nat97 =

Nat97Plus Z

Exact the natural number 97.

type alias Nat98 =

Nat98Plus Z

Exact the natural number 98.

type alias Nat99 =

Nat99Plus Z

Exact the natural number 99.

lue-bird/elm-bounded-nat/19.0.1

numbers

types

limits

numbers

types

plus n

exact

Modules