indique/elm-bounded-nat/7.0.0

NOTE: the latest version is 13.0.0

Nat.Ns

Nat (N Nat0 ...) to Nat (N Nat192 ...).

See Nat.Bound.N & Nat.N for a explanation.

nat0 : Nat (N Nat0 (IsBoth a To a And b To b))

The Nat 0.

nat1 : Nat (N Nat1 (IsBoth a To (Nat1Plus a) And b To (Nat1Plus b)))

The Nat 1.

Nat
(N Nat10 (IsBoth a To (Nat10Plus a) And b To (Nat10Plus b)))

The Nat 10.

Nat
(N Nat100 (IsBoth a To (Nat100Plus a) And b To (Nat100Plus b)))

The Nat 100.

Nat
(N Nat101 (IsBoth a To (Nat101Plus a) And b To (Nat101Plus b)))

The Nat 101.

Nat
(N Nat102 (IsBoth a To (Nat102Plus a) And b To (Nat102Plus b)))

The Nat 102.

Nat
(N Nat103 (IsBoth a To (Nat103Plus a) And b To (Nat103Plus b)))

The Nat 103.

Nat
(N Nat104 (IsBoth a To (Nat104Plus a) And b To (Nat104Plus b)))

The Nat 104.

Nat
(N Nat105 (IsBoth a To (Nat105Plus a) And b To (Nat105Plus b)))

The Nat 105.

Nat
(N Nat106 (IsBoth a To (Nat106Plus a) And b To (Nat106Plus b)))

The Nat 106.

Nat
(N Nat107 (IsBoth a To (Nat107Plus a) And b To (Nat107Plus b)))

The Nat 107.

Nat
(N Nat108 (IsBoth a To (Nat108Plus a) And b To (Nat108Plus b)))

The Nat 108.

Nat
(N Nat109 (IsBoth a To (Nat109Plus a) And b To (Nat109Plus b)))

The Nat 109.

Nat
(N Nat11 (IsBoth a To (Nat11Plus a) And b To (Nat11Plus b)))

The Nat 11.

Nat
(N Nat110 (IsBoth a To (Nat110Plus a) And b To (Nat110Plus b)))

The Nat 110.

Nat
(N Nat111 (IsBoth a To (Nat111Plus a) And b To (Nat111Plus b)))

The Nat 111.

Nat
(N Nat112 (IsBoth a To (Nat112Plus a) And b To (Nat112Plus b)))

The Nat 112.

Nat
(N Nat113 (IsBoth a To (Nat113Plus a) And b To (Nat113Plus b)))

The Nat 113.

Nat
(N Nat114 (IsBoth a To (Nat114Plus a) And b To (Nat114Plus b)))

The Nat 114.

Nat
(N Nat115 (IsBoth a To (Nat115Plus a) And b To (Nat115Plus b)))

The Nat 115.

Nat
(N Nat116 (IsBoth a To (Nat116Plus a) And b To (Nat116Plus b)))

The Nat 116.

Nat
(N Nat117 (IsBoth a To (Nat117Plus a) And b To (Nat117Plus b)))

The Nat 117.

Nat
(N Nat118 (IsBoth a To (Nat118Plus a) And b To (Nat118Plus b)))

The Nat 118.

Nat
(N Nat119 (IsBoth a To (Nat119Plus a) And b To (Nat119Plus b)))

The Nat 119.

Nat
(N Nat12 (IsBoth a To (Nat12Plus a) And b To (Nat12Plus b)))

The Nat 12.

Nat
(N Nat120 (IsBoth a To (Nat120Plus a) And b To (Nat120Plus b)))

The Nat 120.

Nat
(N Nat121 (IsBoth a To (Nat121Plus a) And b To (Nat121Plus b)))

The Nat 121.

Nat
(N Nat122 (IsBoth a To (Nat122Plus a) And b To (Nat122Plus b)))

The Nat 122.

Nat
(N Nat123 (IsBoth a To (Nat123Plus a) And b To (Nat123Plus b)))

The Nat 123.

Nat
(N Nat124 (IsBoth a To (Nat124Plus a) And b To (Nat124Plus b)))

The Nat 124.

Nat
(N Nat125 (IsBoth a To (Nat125Plus a) And b To (Nat125Plus b)))

The Nat 125.

Nat
(N Nat126 (IsBoth a To (Nat126Plus a) And b To (Nat126Plus b)))

The Nat 126.

Nat
(N Nat127 (IsBoth a To (Nat127Plus a) And b To (Nat127Plus b)))

The Nat 127.

Nat
(N Nat128 (IsBoth a To (Nat128Plus a) And b To (Nat128Plus b)))

The Nat 128.

Nat
(N Nat129 (IsBoth a To (Nat129Plus a) And b To (Nat129Plus b)))

The Nat 129.

Nat
(N Nat13 (IsBoth a To (Nat13Plus a) And b To (Nat13Plus b)))

The Nat 13.

Nat
(N Nat130 (IsBoth a To (Nat130Plus a) And b To (Nat130Plus b)))

The Nat 130.

Nat
(N Nat131 (IsBoth a To (Nat131Plus a) And b To (Nat131Plus b)))

The Nat 131.

Nat
(N Nat132 (IsBoth a To (Nat132Plus a) And b To (Nat132Plus b)))

The Nat 132.

Nat
(N Nat133 (IsBoth a To (Nat133Plus a) And b To (Nat133Plus b)))

The Nat 133.

Nat
(N Nat134 (IsBoth a To (Nat134Plus a) And b To (Nat134Plus b)))

The Nat 134.

Nat
(N Nat135 (IsBoth a To (Nat135Plus a) And b To (Nat135Plus b)))

The Nat 135.

Nat
(N Nat136 (IsBoth a To (Nat136Plus a) And b To (Nat136Plus b)))

The Nat 136.

Nat
(N Nat137 (IsBoth a To (Nat137Plus a) And b To (Nat137Plus b)))

The Nat 137.

Nat
(N Nat138 (IsBoth a To (Nat138Plus a) And b To (Nat138Plus b)))

The Nat 138.

Nat
(N Nat139 (IsBoth a To (Nat139Plus a) And b To (Nat139Plus b)))

The Nat 139.

Nat
(N Nat14 (IsBoth a To (Nat14Plus a) And b To (Nat14Plus b)))

The Nat 14.

Nat
(N Nat140 (IsBoth a To (Nat140Plus a) And b To (Nat140Plus b)))

The Nat 140.

Nat
(N Nat141 (IsBoth a To (Nat141Plus a) And b To (Nat141Plus b)))

The Nat 141.

Nat
(N Nat142 (IsBoth a To (Nat142Plus a) And b To (Nat142Plus b)))

The Nat 142.

Nat
(N Nat143 (IsBoth a To (Nat143Plus a) And b To (Nat143Plus b)))

The Nat 143.

Nat
(N Nat144 (IsBoth a To (Nat144Plus a) And b To (Nat144Plus b)))

The Nat 144.

Nat
(N Nat145 (IsBoth a To (Nat145Plus a) And b To (Nat145Plus b)))

The Nat 145.

Nat
(N Nat146 (IsBoth a To (Nat146Plus a) And b To (Nat146Plus b)))

The Nat 146.

Nat
(N Nat147 (IsBoth a To (Nat147Plus a) And b To (Nat147Plus b)))

The Nat 147.

Nat
(N Nat148 (IsBoth a To (Nat148Plus a) And b To (Nat148Plus b)))

The Nat 148.

Nat
(N Nat149 (IsBoth a To (Nat149Plus a) And b To (Nat149Plus b)))

The Nat 149.

Nat
(N Nat15 (IsBoth a To (Nat15Plus a) And b To (Nat15Plus b)))

The Nat 15.

Nat
(N Nat150 (IsBoth a To (Nat150Plus a) And b To (Nat150Plus b)))

The Nat 150.

Nat
(N Nat151 (IsBoth a To (Nat151Plus a) And b To (Nat151Plus b)))

The Nat 151.

Nat
(N Nat152 (IsBoth a To (Nat152Plus a) And b To (Nat152Plus b)))

The Nat 152.

Nat
(N Nat153 (IsBoth a To (Nat153Plus a) And b To (Nat153Plus b)))

The Nat 153.

Nat
(N Nat154 (IsBoth a To (Nat154Plus a) And b To (Nat154Plus b)))

The Nat 154.

Nat
(N Nat155 (IsBoth a To (Nat155Plus a) And b To (Nat155Plus b)))

The Nat 155.

Nat
(N Nat156 (IsBoth a To (Nat156Plus a) And b To (Nat156Plus b)))

The Nat 156.

Nat
(N Nat157 (IsBoth a To (Nat157Plus a) And b To (Nat157Plus b)))

The Nat 157.

Nat
(N Nat158 (IsBoth a To (Nat158Plus a) And b To (Nat158Plus b)))

The Nat 158.

Nat
(N Nat159 (IsBoth a To (Nat159Plus a) And b To (Nat159Plus b)))

The Nat 159.

Nat
(N Nat16 (IsBoth a To (Nat16Plus a) And b To (Nat16Plus b)))

The Nat 16.

Nat
(N Nat160 (IsBoth a To (Nat160Plus a) And b To (Nat160Plus b)))

The Nat 160.

Nat
(N Nat161 (IsBoth a To (Nat161Plus a) And b To (Nat161Plus b)))

The Nat 161.

Nat
(N Nat162 (IsBoth a To (Nat162Plus a) And b To (Nat162Plus b)))

The Nat 162.

Nat
(N Nat163 (IsBoth a To (Nat163Plus a) And b To (Nat163Plus b)))

The Nat 163.

Nat
(N Nat164 (IsBoth a To (Nat164Plus a) And b To (Nat164Plus b)))

The Nat 164.

Nat
(N Nat165 (IsBoth a To (Nat165Plus a) And b To (Nat165Plus b)))

The Nat 165.

Nat
(N Nat166 (IsBoth a To (Nat166Plus a) And b To (Nat166Plus b)))

The Nat 166.

Nat
(N Nat167 (IsBoth a To (Nat167Plus a) And b To (Nat167Plus b)))

The Nat 167.

Nat
(N Nat168 (IsBoth a To (Nat168Plus a) And b To (Nat168Plus b)))

The Nat 168.

Nat
(N Nat169 (IsBoth a To (Nat169Plus a) And b To (Nat169Plus b)))

The Nat 169.

Nat
(N Nat17 (IsBoth a To (Nat17Plus a) And b To (Nat17Plus b)))

The Nat 17.

Nat
(N Nat170 (IsBoth a To (Nat170Plus a) And b To (Nat170Plus b)))

The Nat 170.

Nat
(N Nat171 (IsBoth a To (Nat171Plus a) And b To (Nat171Plus b)))

The Nat 171.

Nat
(N Nat172 (IsBoth a To (Nat172Plus a) And b To (Nat172Plus b)))

The Nat 172.

Nat
(N Nat173 (IsBoth a To (Nat173Plus a) And b To (Nat173Plus b)))

The Nat 173.

Nat
(N Nat174 (IsBoth a To (Nat174Plus a) And b To (Nat174Plus b)))

The Nat 174.

Nat
(N Nat175 (IsBoth a To (Nat175Plus a) And b To (Nat175Plus b)))

The Nat 175.

Nat
(N Nat176 (IsBoth a To (Nat176Plus a) And b To (Nat176Plus b)))

The Nat 176.

Nat
(N Nat177 (IsBoth a To (Nat177Plus a) And b To (Nat177Plus b)))

The Nat 177.

Nat
(N Nat178 (IsBoth a To (Nat178Plus a) And b To (Nat178Plus b)))

The Nat 178.

Nat
(N Nat179 (IsBoth a To (Nat179Plus a) And b To (Nat179Plus b)))

The Nat 179.

Nat
(N Nat18 (IsBoth a To (Nat18Plus a) And b To (Nat18Plus b)))

The Nat 18.

Nat
(N Nat180 (IsBoth a To (Nat180Plus a) And b To (Nat180Plus b)))

The Nat 180.

Nat
(N Nat181 (IsBoth a To (Nat181Plus a) And b To (Nat181Plus b)))

The Nat 181.

Nat
(N Nat182 (IsBoth a To (Nat182Plus a) And b To (Nat182Plus b)))

The Nat 182.

Nat
(N Nat183 (IsBoth a To (Nat183Plus a) And b To (Nat183Plus b)))

The Nat 183.

Nat
(N Nat184 (IsBoth a To (Nat184Plus a) And b To (Nat184Plus b)))

The Nat 184.

Nat
(N Nat185 (IsBoth a To (Nat185Plus a) And b To (Nat185Plus b)))

The Nat 185.

Nat
(N Nat186 (IsBoth a To (Nat186Plus a) And b To (Nat186Plus b)))

The Nat 186.

Nat
(N Nat187 (IsBoth a To (Nat187Plus a) And b To (Nat187Plus b)))

The Nat 187.

Nat
(N Nat188 (IsBoth a To (Nat188Plus a) And b To (Nat188Plus b)))

The Nat 188.

Nat
(N Nat189 (IsBoth a To (Nat189Plus a) And b To (Nat189Plus b)))

The Nat 189.

Nat
(N Nat19 (IsBoth a To (Nat19Plus a) And b To (Nat19Plus b)))

The Nat 19.

Nat
(N Nat190 (IsBoth a To (Nat190Plus a) And b To (Nat190Plus b)))

The Nat 190.

Nat
(N Nat191 (IsBoth a To (Nat191Plus a) And b To (Nat191Plus b)))

The Nat 191.

Nat
(N Nat192 (IsBoth a To (Nat192Plus a) And b To (Nat192Plus b)))

The Nat 192.

nat2 : Nat (N Nat2 (IsBoth a To (Nat2Plus a) And b To (Nat2Plus b)))

The Nat 2.

Nat
(N Nat20 (IsBoth a To (Nat20Plus a) And b To (Nat20Plus b)))

The Nat 20.

Nat
(N Nat21 (IsBoth a To (Nat21Plus a) And b To (Nat21Plus b)))

The Nat 21.

Nat
(N Nat22 (IsBoth a To (Nat22Plus a) And b To (Nat22Plus b)))

The Nat 22.

Nat
(N Nat23 (IsBoth a To (Nat23Plus a) And b To (Nat23Plus b)))

The Nat 23.

Nat
(N Nat24 (IsBoth a To (Nat24Plus a) And b To (Nat24Plus b)))

The Nat 24.

Nat
(N Nat25 (IsBoth a To (Nat25Plus a) And b To (Nat25Plus b)))

The Nat 25.

Nat
(N Nat26 (IsBoth a To (Nat26Plus a) And b To (Nat26Plus b)))

The Nat 26.

Nat
(N Nat27 (IsBoth a To (Nat27Plus a) And b To (Nat27Plus b)))

The Nat 27.

Nat
(N Nat28 (IsBoth a To (Nat28Plus a) And b To (Nat28Plus b)))

The Nat 28.

Nat
(N Nat29 (IsBoth a To (Nat29Plus a) And b To (Nat29Plus b)))

The Nat 29.

nat3 : Nat (N Nat3 (IsBoth a To (Nat3Plus a) And b To (Nat3Plus b)))

The Nat 3.

Nat
(N Nat30 (IsBoth a To (Nat30Plus a) And b To (Nat30Plus b)))

The Nat 30.

Nat
(N Nat31 (IsBoth a To (Nat31Plus a) And b To (Nat31Plus b)))

The Nat 31.

Nat
(N Nat32 (IsBoth a To (Nat32Plus a) And b To (Nat32Plus b)))

The Nat 32.

Nat
(N Nat33 (IsBoth a To (Nat33Plus a) And b To (Nat33Plus b)))

The Nat 33.

Nat
(N Nat34 (IsBoth a To (Nat34Plus a) And b To (Nat34Plus b)))

The Nat 34.

Nat
(N Nat35 (IsBoth a To (Nat35Plus a) And b To (Nat35Plus b)))

The Nat 35.

Nat
(N Nat36 (IsBoth a To (Nat36Plus a) And b To (Nat36Plus b)))

The Nat 36.

Nat
(N Nat37 (IsBoth a To (Nat37Plus a) And b To (Nat37Plus b)))

The Nat 37.

Nat
(N Nat38 (IsBoth a To (Nat38Plus a) And b To (Nat38Plus b)))

The Nat 38.

Nat
(N Nat39 (IsBoth a To (Nat39Plus a) And b To (Nat39Plus b)))

The Nat 39.

nat4 : Nat (N Nat4 (IsBoth a To (Nat4Plus a) And b To (Nat4Plus b)))

The Nat 4.

Nat
(N Nat40 (IsBoth a To (Nat40Plus a) And b To (Nat40Plus b)))

The Nat 40.

Nat
(N Nat41 (IsBoth a To (Nat41Plus a) And b To (Nat41Plus b)))

The Nat 41.

Nat
(N Nat42 (IsBoth a To (Nat42Plus a) And b To (Nat42Plus b)))

The Nat 42.

Nat
(N Nat43 (IsBoth a To (Nat43Plus a) And b To (Nat43Plus b)))

The Nat 43.

Nat
(N Nat44 (IsBoth a To (Nat44Plus a) And b To (Nat44Plus b)))

The Nat 44.

Nat
(N Nat45 (IsBoth a To (Nat45Plus a) And b To (Nat45Plus b)))

The Nat 45.

Nat
(N Nat46 (IsBoth a To (Nat46Plus a) And b To (Nat46Plus b)))

The Nat 46.

Nat
(N Nat47 (IsBoth a To (Nat47Plus a) And b To (Nat47Plus b)))

The Nat 47.

Nat
(N Nat48 (IsBoth a To (Nat48Plus a) And b To (Nat48Plus b)))

The Nat 48.

Nat
(N Nat49 (IsBoth a To (Nat49Plus a) And b To (Nat49Plus b)))

The Nat 49.

nat5 : Nat (N Nat5 (IsBoth a To (Nat5Plus a) And b To (Nat5Plus b)))

The Nat 5.

Nat
(N Nat50 (IsBoth a To (Nat50Plus a) And b To (Nat50Plus b)))

The Nat 50.

Nat
(N Nat51 (IsBoth a To (Nat51Plus a) And b To (Nat51Plus b)))

The Nat 51.

Nat
(N Nat52 (IsBoth a To (Nat52Plus a) And b To (Nat52Plus b)))

The Nat 52.

Nat
(N Nat53 (IsBoth a To (Nat53Plus a) And b To (Nat53Plus b)))

The Nat 53.

Nat
(N Nat54 (IsBoth a To (Nat54Plus a) And b To (Nat54Plus b)))

The Nat 54.

Nat
(N Nat55 (IsBoth a To (Nat55Plus a) And b To (Nat55Plus b)))

The Nat 55.

Nat
(N Nat56 (IsBoth a To (Nat56Plus a) And b To (Nat56Plus b)))

The Nat 56.

Nat
(N Nat57 (IsBoth a To (Nat57Plus a) And b To (Nat57Plus b)))

The Nat 57.

Nat
(N Nat58 (IsBoth a To (Nat58Plus a) And b To (Nat58Plus b)))

The Nat 58.

Nat
(N Nat59 (IsBoth a To (Nat59Plus a) And b To (Nat59Plus b)))

The Nat 59.

nat6 : Nat (N Nat6 (IsBoth a To (Nat6Plus a) And b To (Nat6Plus b)))

The Nat 6.

Nat
(N Nat60 (IsBoth a To (Nat60Plus a) And b To (Nat60Plus b)))

The Nat 60.

Nat
(N Nat61 (IsBoth a To (Nat61Plus a) And b To (Nat61Plus b)))

The Nat 61.

Nat
(N Nat62 (IsBoth a To (Nat62Plus a) And b To (Nat62Plus b)))

The Nat 62.

Nat
(N Nat63 (IsBoth a To (Nat63Plus a) And b To (Nat63Plus b)))

The Nat 63.

Nat
(N Nat64 (IsBoth a To (Nat64Plus a) And b To (Nat64Plus b)))

The Nat 64.

Nat
(N Nat65 (IsBoth a To (Nat65Plus a) And b To (Nat65Plus b)))

The Nat 65.

Nat
(N Nat66 (IsBoth a To (Nat66Plus a) And b To (Nat66Plus b)))

The Nat 66.

Nat
(N Nat67 (IsBoth a To (Nat67Plus a) And b To (Nat67Plus b)))

The Nat 67.

Nat
(N Nat68 (IsBoth a To (Nat68Plus a) And b To (Nat68Plus b)))

The Nat 68.

Nat
(N Nat69 (IsBoth a To (Nat69Plus a) And b To (Nat69Plus b)))

The Nat 69.

nat7 : Nat (N Nat7 (IsBoth a To (Nat7Plus a) And b To (Nat7Plus b)))

The Nat 7.

Nat
(N Nat70 (IsBoth a To (Nat70Plus a) And b To (Nat70Plus b)))

The Nat 70.

Nat
(N Nat71 (IsBoth a To (Nat71Plus a) And b To (Nat71Plus b)))

The Nat 71.

Nat
(N Nat72 (IsBoth a To (Nat72Plus a) And b To (Nat72Plus b)))

The Nat 72.

Nat
(N Nat73 (IsBoth a To (Nat73Plus a) And b To (Nat73Plus b)))

The Nat 73.

Nat
(N Nat74 (IsBoth a To (Nat74Plus a) And b To (Nat74Plus b)))

The Nat 74.

Nat
(N Nat75 (IsBoth a To (Nat75Plus a) And b To (Nat75Plus b)))

The Nat 75.

Nat
(N Nat76 (IsBoth a To (Nat76Plus a) And b To (Nat76Plus b)))

The Nat 76.

Nat
(N Nat77 (IsBoth a To (Nat77Plus a) And b To (Nat77Plus b)))

The Nat 77.

Nat
(N Nat78 (IsBoth a To (Nat78Plus a) And b To (Nat78Plus b)))

The Nat 78.

Nat
(N Nat79 (IsBoth a To (Nat79Plus a) And b To (Nat79Plus b)))

The Nat 79.

nat8 : Nat (N Nat8 (IsBoth a To (Nat8Plus a) And b To (Nat8Plus b)))

The Nat 8.

Nat
(N Nat80 (IsBoth a To (Nat80Plus a) And b To (Nat80Plus b)))

The Nat 80.

Nat
(N Nat81 (IsBoth a To (Nat81Plus a) And b To (Nat81Plus b)))

The Nat 81.

Nat
(N Nat82 (IsBoth a To (Nat82Plus a) And b To (Nat82Plus b)))

The Nat 82.

Nat
(N Nat83 (IsBoth a To (Nat83Plus a) And b To (Nat83Plus b)))

The Nat 83.

Nat
(N Nat84 (IsBoth a To (Nat84Plus a) And b To (Nat84Plus b)))

The Nat 84.

Nat
(N Nat85 (IsBoth a To (Nat85Plus a) And b To (Nat85Plus b)))

The Nat 85.

Nat
(N Nat86 (IsBoth a To (Nat86Plus a) And b To (Nat86Plus b)))

The Nat 86.

Nat
(N Nat87 (IsBoth a To (Nat87Plus a) And b To (Nat87Plus b)))

The Nat 87.

Nat
(N Nat88 (IsBoth a To (Nat88Plus a) And b To (Nat88Plus b)))

The Nat 88.

Nat
(N Nat89 (IsBoth a To (Nat89Plus a) And b To (Nat89Plus b)))

The Nat 89.

nat9 : Nat (N Nat9 (IsBoth a To (Nat9Plus a) And b To (Nat9Plus b)))

The Nat 9.

Nat
(N Nat90 (IsBoth a To (Nat90Plus a) And b To (Nat90Plus b)))

The Nat 90.

Nat
(N Nat91 (IsBoth a To (Nat91Plus a) And b To (Nat91Plus b)))

The Nat 91.

Nat
(N Nat92 (IsBoth a To (Nat92Plus a) And b To (Nat92Plus b)))

The Nat 92.

Nat
(N Nat93 (IsBoth a To (Nat93Plus a) And b To (Nat93Plus b)))

The Nat 93.

Nat
(N Nat94 (IsBoth a To (Nat94Plus a) And b To (Nat94Plus b)))

The Nat 94.

Nat
(N Nat95 (IsBoth a To (Nat95Plus a) And b To (Nat95Plus b)))

The Nat 95.

Nat
(N Nat96 (IsBoth a To (Nat96Plus a) And b To (Nat96Plus b)))

The Nat 96.

Nat
(N Nat97 (IsBoth a To (Nat97Plus a) And b To (Nat97Plus b)))

The Nat 97.

Nat
(N Nat98 (IsBoth a To (Nat98Plus a) And b To (Nat98Plus b)))

The Nat 98.

Nat
(N Nat99 (IsBoth a To (Nat99Plus a) And b To (Nat99Plus b)))

The Nat 99.