Module

Type.Nat1

Package
purescript-quotient
Repository
rightfold/purescript-quotient

#Nat1 Source

data Nat1 :: Type

#I Source

data I :: Nat1

Instances

#S Source

data S :: Nat1 -> Nat1

Instances

#N1Proxy Source

data N1Proxy (a :: Nat1)

Constructors

#IsNat1 Source

class IsNat1 (a :: Nat1)  where

Members

Instances

#N1 Source

type N1 = I

#N2 Source

type N2 = S N1

#N3 Source

type N3 = S N2

#N4 Source

type N4 = S N3

#N5 Source

type N5 = S N4

#N6 Source

type N6 = S N5

#N7 Source

type N7 = S N6

#N8 Source

type N8 = S N7

#N9 Source

type N9 = S N8

#N10 Source

type N10 = S N9

#N11 Source

type N11 = S N10

#N12 Source

type N12 = S N11

#N13 Source

type N13 = S N12

#N14 Source

type N14 = S N13

#N15 Source

type N15 = S N14

#N16 Source

type N16 = S N15

#N17 Source

type N17 = S N16

#N18 Source

type N18 = S N17

#N19 Source

type N19 = S N18

#N20 Source

type N20 = S N19

#N21 Source

type N21 = S N20

#N22 Source

type N22 = S N21

#N23 Source

type N23 = S N22

#N24 Source

type N24 = S N23

#N25 Source

type N25 = S N24

#N26 Source

type N26 = S N25

#N27 Source

type N27 = S N26

#N28 Source

type N28 = S N27

#N29 Source

type N29 = S N28

#N30 Source

type N30 = S N29

#N31 Source

type N31 = S N30

#N32 Source

type N32 = S N31

#N33 Source

type N33 = S N32

#N34 Source

type N34 = S N33

#N35 Source

type N35 = S N34

#N36 Source

type N36 = S N35

#N37 Source

type N37 = S N36

#N38 Source

type N38 = S N37

#N39 Source

type N39 = S N38

#N40 Source

type N40 = S N39

#N41 Source

type N41 = S N40

#N42 Source

type N42 = S N41

#N43 Source

type N43 = S N42

#N44 Source

type N44 = S N43

#N45 Source

type N45 = S N44

#N46 Source

type N46 = S N45

#N47 Source

type N47 = S N46

#N48 Source

type N48 = S N47

#N49 Source

type N49 = S N48

#N50 Source

type N50 = S N49

#N51 Source

type N51 = S N50

#N52 Source

type N52 = S N51

#N53 Source

type N53 = S N52

#N54 Source

type N54 = S N53

#N55 Source

type N55 = S N54

#N56 Source

type N56 = S N55

#N57 Source

type N57 = S N56

#N58 Source

type N58 = S N57

#N59 Source

type N59 = S N58

#N60 Source

type N60 = S N59

#N61 Source

type N61 = S N60

#N62 Source

type N62 = S N61

#N63 Source

type N63 = S N62

#N64 Source

type N64 = S N63

#N65 Source

type N65 = S N64

#N66 Source

type N66 = S N65

#N67 Source

type N67 = S N66

#N68 Source

type N68 = S N67

#N69 Source

type N69 = S N68

#N70 Source

type N70 = S N69

#N71 Source

type N71 = S N70

#N72 Source

type N72 = S N71

#N73 Source

type N73 = S N72

#N74 Source

type N74 = S N73

#N75 Source

type N75 = S N74

#N76 Source

type N76 = S N75

#N77 Source

type N77 = S N76

#N78 Source

type N78 = S N77

#N79 Source

type N79 = S N78

#N80 Source

type N80 = S N79

#N81 Source

type N81 = S N80

#N82 Source

type N82 = S N81

#N83 Source

type N83 = S N82

#N84 Source

type N84 = S N83

#N85 Source

type N85 = S N84

#N86 Source

type N86 = S N85

#N87 Source

type N87 = S N86

#N88 Source

type N88 = S N87

#N89 Source

type N89 = S N88

#N90 Source

type N90 = S N89

#N91 Source

type N91 = S N90

#N92 Source

type N92 = S N91

#N93 Source

type N93 = S N92

#N94 Source

type N94 = S N93

#N95 Source

type N95 = S N94

#N96 Source

type N96 = S N95

#N97 Source

type N97 = S N96

#N98 Source

type N98 = S N97

#N99 Source

type N99 = S N98

#N100 Source

type N100 = S N99

#N101 Source

type N101 = S N100

#N102 Source

type N102 = S N101

#N103 Source

type N103 = S N102

#N104 Source

type N104 = S N103

#N105 Source

type N105 = S N104

#N106 Source

type N106 = S N105

#N107 Source

type N107 = S N106

#N108 Source

type N108 = S N107

#N109 Source

type N109 = S N108

#N110 Source

type N110 = S N109

#N111 Source

type N111 = S N110

#N112 Source

type N112 = S N111

#N113 Source

type N113 = S N112

#N114 Source

type N114 = S N113

#N115 Source

type N115 = S N114

#N116 Source

type N116 = S N115

#N117 Source

type N117 = S N116

#N118 Source

type N118 = S N117

#N119 Source

type N119 = S N118

#N120 Source

type N120 = S N119

#N121 Source

type N121 = S N120

#N122 Source

type N122 = S N121

#N123 Source

type N123 = S N122

#N124 Source

type N124 = S N123

#N125 Source

type N125 = S N124

#N126 Source

type N126 = S N125

#N127 Source

type N127 = S N126

#N128 Source

type N128 = S N127

#N129 Source

type N129 = S N128

#N130 Source

type N130 = S N129

#N131 Source

type N131 = S N130

#N132 Source

type N132 = S N131

#N133 Source

type N133 = S N132

#N134 Source

type N134 = S N133

#N135 Source

type N135 = S N134

#N136 Source

type N136 = S N135

#N137 Source

type N137 = S N136

#N138 Source

type N138 = S N137

#N139 Source

type N139 = S N138

#N140 Source

type N140 = S N139

#N141 Source

type N141 = S N140

#N142 Source

type N142 = S N141

#N143 Source

type N143 = S N142

#N144 Source

type N144 = S N143

#N145 Source

type N145 = S N144

#N146 Source

type N146 = S N145

#N147 Source

type N147 = S N146

#N148 Source

type N148 = S N147

#N149 Source

type N149 = S N148

#N150 Source

type N150 = S N149

#N151 Source

type N151 = S N150

#N152 Source

type N152 = S N151

#N153 Source

type N153 = S N152

#N154 Source

type N154 = S N153

#N155 Source

type N155 = S N154

#N156 Source

type N156 = S N155

#N157 Source

type N157 = S N156

#N158 Source

type N158 = S N157

#N159 Source

type N159 = S N158

#N160 Source

type N160 = S N159

#N161 Source

type N161 = S N160

#N162 Source

type N162 = S N161

#N163 Source

type N163 = S N162

#N164 Source

type N164 = S N163

#N165 Source

type N165 = S N164

#N166 Source

type N166 = S N165

#N167 Source

type N167 = S N166

#N168 Source

type N168 = S N167

#N169 Source

type N169 = S N168

#N170 Source

type N170 = S N169

#N171 Source

type N171 = S N170

#N172 Source

type N172 = S N171

#N173 Source

type N173 = S N172

#N174 Source

type N174 = S N173

#N175 Source

type N175 = S N174

#N176 Source

type N176 = S N175

#N177 Source

type N177 = S N176

#N178 Source

type N178 = S N177

#N179 Source

type N179 = S N178

#N180 Source

type N180 = S N179

#N181 Source

type N181 = S N180

#N182 Source

type N182 = S N181

#N183 Source

type N183 = S N182

#N184 Source

type N184 = S N183

#N185 Source

type N185 = S N184

#N186 Source

type N186 = S N185

#N187 Source

type N187 = S N186

#N188 Source

type N188 = S N187

#N189 Source

type N189 = S N188

#N190 Source

type N190 = S N189

#N191 Source

type N191 = S N190

#N192 Source

type N192 = S N191

#N193 Source

type N193 = S N192

#N194 Source

type N194 = S N193

#N195 Source

type N195 = S N194

#N196 Source

type N196 = S N195

#N197 Source

type N197 = S N196

#N198 Source

type N198 = S N197

#N199 Source

type N199 = S N198

#N200 Source

type N200 = S N199

#N201 Source

type N201 = S N200

#N202 Source

type N202 = S N201

#N203 Source

type N203 = S N202

#N204 Source

type N204 = S N203

#N205 Source

type N205 = S N204

#N206 Source

type N206 = S N205

#N207 Source

type N207 = S N206

#N208 Source

type N208 = S N207

#N209 Source

type N209 = S N208

#N210 Source

type N210 = S N209

#N211 Source

type N211 = S N210

#N212 Source

type N212 = S N211

#N213 Source

type N213 = S N212

#N214 Source

type N214 = S N213

#N215 Source

type N215 = S N214

#N216 Source

type N216 = S N215

#N217 Source

type N217 = S N216

#N218 Source

type N218 = S N217

#N219 Source

type N219 = S N218

#N220 Source

type N220 = S N219

#N221 Source

type N221 = S N220

#N222 Source

type N222 = S N221

#N223 Source

type N223 = S N222

#N224 Source

type N224 = S N223

#N225 Source

type N225 = S N224

#N226 Source

type N226 = S N225

#N227 Source

type N227 = S N226

#N228 Source

type N228 = S N227

#N229 Source

type N229 = S N228

#N230 Source

type N230 = S N229

#N231 Source

type N231 = S N230

#N232 Source

type N232 = S N231

#N233 Source

type N233 = S N232

#N234 Source

type N234 = S N233

#N235 Source

type N235 = S N234

#N236 Source

type N236 = S N235

#N237 Source

type N237 = S N236

#N238 Source

type N238 = S N237

#N239 Source

type N239 = S N238

#N240 Source

type N240 = S N239

#N241 Source

type N241 = S N240

#N242 Source

type N242 = S N241

#N243 Source

type N243 = S N242

#N244 Source

type N244 = S N243

#N245 Source

type N245 = S N244

#N246 Source

type N246 = S N245

#N247 Source

type N247 = S N246

#N248 Source

type N248 = S N247

#N249 Source

type N249 = S N248

#N250 Source

type N250 = S N249

#N251 Source

type N251 = S N250

#N252 Source

type N252 = S N251

#N253 Source

type N253 = S N252

#N254 Source

type N254 = S N253

#N255 Source

type N255 = S N254

#N256 Source

type N256 = S N255

#N257 Source

type N257 = S N256

#N258 Source

type N258 = S N257

#N259 Source

type N259 = S N258

#N260 Source

type N260 = S N259

#N261 Source

type N261 = S N260

#N262 Source

type N262 = S N261

#N263 Source

type N263 = S N262

#N264 Source

type N264 = S N263

#N265 Source

type N265 = S N264

#N266 Source

type N266 = S N265

#N267 Source

type N267 = S N266

#N268 Source

type N268 = S N267

#N269 Source

type N269 = S N268

#N270 Source

type N270 = S N269

#N271 Source

type N271 = S N270

#N272 Source

type N272 = S N271

#N273 Source

type N273 = S N272

#N274 Source

type N274 = S N273

#N275 Source

type N275 = S N274

#N276 Source

type N276 = S N275

#N277 Source

type N277 = S N276

#N278 Source

type N278 = S N277

#N279 Source

type N279 = S N278

#N280 Source

type N280 = S N279

#N281 Source

type N281 = S N280

#N282 Source

type N282 = S N281

#N283 Source

type N283 = S N282

#N284 Source

type N284 = S N283

#N285 Source

type N285 = S N284

#N286 Source

type N286 = S N285

#N287 Source

type N287 = S N286

#N288 Source

type N288 = S N287

#N289 Source

type N289 = S N288

#N290 Source

type N290 = S N289

#N291 Source

type N291 = S N290

#N292 Source

type N292 = S N291

#N293 Source

type N293 = S N292

#N294 Source

type N294 = S N293

#N295 Source

type N295 = S N294

#N296 Source

type N296 = S N295

#N297 Source

type N297 = S N296

#N298 Source

type N298 = S N297

#N299 Source

type N299 = S N298

#N300 Source

type N300 = S N299

#N301 Source

type N301 = S N300

#N302 Source

type N302 = S N301

#N303 Source

type N303 = S N302

#N304 Source

type N304 = S N303

#N305 Source

type N305 = S N304

#N306 Source

type N306 = S N305

#N307 Source

type N307 = S N306

#N308 Source

type N308 = S N307

#N309 Source

type N309 = S N308

#N310 Source

type N310 = S N309

#N311 Source

type N311 = S N310

#N312 Source

type N312 = S N311

#N313 Source

type N313 = S N312

#N314 Source

type N314 = S N313

#N315 Source

type N315 = S N314

#N316 Source

type N316 = S N315

#N317 Source

type N317 = S N316

#N318 Source

type N318 = S N317

#N319 Source

type N319 = S N318

#N320 Source

type N320 = S N319

#N321 Source

type N321 = S N320

#N322 Source

type N322 = S N321

#N323 Source

type N323 = S N322

#N324 Source

type N324 = S N323

#N325 Source

type N325 = S N324

#N326 Source

type N326 = S N325

#N327 Source

type N327 = S N326

#N328 Source

type N328 = S N327

#N329 Source

type N329 = S N328

#N330 Source

type N330 = S N329

#N331 Source

type N331 = S N330

#N332 Source

type N332 = S N331

#N333 Source

type N333 = S N332

#N334 Source

type N334 = S N333

#N335 Source

type N335 = S N334

#N336 Source

type N336 = S N335

#N337 Source

type N337 = S N336

#N338 Source

type N338 = S N337

#N339 Source

type N339 = S N338

#N340 Source

type N340 = S N339

#N341 Source

type N341 = S N340

#N342 Source

type N342 = S N341

#N343 Source

type N343 = S N342

#N344 Source

type N344 = S N343

#N345 Source

type N345 = S N344

#N346 Source

type N346 = S N345

#N347 Source

type N347 = S N346

#N348 Source

type N348 = S N347

#N349 Source

type N349 = S N348

#N350 Source

type N350 = S N349

#N351 Source

type N351 = S N350

#N352 Source

type N352 = S N351

#N353 Source

type N353 = S N352

#N354 Source

type N354 = S N353

#N355 Source

type N355 = S N354

#N356 Source

type N356 = S N355

#N357 Source

type N357 = S N356

#N358 Source

type N358 = S N357

#N359 Source

type N359 = S N358

#N360 Source

type N360 = S N359

#N361 Source

type N361 = S N360

#N362 Source

type N362 = S N361

#N363 Source

type N363 = S N362

#N364 Source

type N364 = S N363

#N365 Source

type N365 = S N364

#N366 Source

type N366 = S N365

#N367 Source

type N367 = S N366

#N368 Source

type N368 = S N367

#N369 Source

type N369 = S N368

#N370 Source

type N370 = S N369

#N371 Source

type N371 = S N370

#N372 Source

type N372 = S N371

#N373 Source

type N373 = S N372

#N374 Source

type N374 = S N373

#N375 Source

type N375 = S N374

#N376 Source

type N376 = S N375

#N377 Source

type N377 = S N376

#N378 Source

type N378 = S N377

#N379 Source

type N379 = S N378

#N380 Source

type N380 = S N379

#N381 Source

type N381 = S N380

#N382 Source

type N382 = S N381

#N383 Source

type N383 = S N382

#N384 Source

type N384 = S N383

#N385 Source

type N385 = S N384

#N386 Source

type N386 = S N385

#N387 Source

type N387 = S N386

#N388 Source

type N388 = S N387

#N389 Source

type N389 = S N388

#N390 Source

type N390 = S N389

#N391 Source

type N391 = S N390

#N392 Source

type N392 = S N391

#N393 Source

type N393 = S N392

#N394 Source

type N394 = S N393

#N395 Source

type N395 = S N394

#N396 Source

type N396 = S N395

#N397 Source

type N397 = S N396

#N398 Source

type N398 = S N397

#N399 Source

type N399 = S N398

#N400 Source

type N400 = S N399

#N401 Source

type N401 = S N400

#N402 Source

type N402 = S N401

#N403 Source

type N403 = S N402

#N404 Source

type N404 = S N403

#N405 Source

type N405 = S N404

#N406 Source

type N406 = S N405

#N407 Source

type N407 = S N406

#N408 Source

type N408 = S N407

#N409 Source

type N409 = S N408

#N410 Source

type N410 = S N409

#N411 Source

type N411 = S N410

#N412 Source

type N412 = S N411

#N413 Source

type N413 = S N412

#N414 Source

type N414 = S N413

#N415 Source

type N415 = S N414

#N416 Source

type N416 = S N415

#N417 Source

type N417 = S N416

#N418 Source

type N418 = S N417

#N419 Source

type N419 = S N418

#N420 Source

type N420 = S N419

#N421 Source

type N421 = S N420

#N422 Source

type N422 = S N421

#N423 Source

type N423 = S N422

#N424 Source

type N424 = S N423

#N425 Source

type N425 = S N424

#N426 Source

type N426 = S N425

#N427 Source

type N427 = S N426

#N428 Source

type N428 = S N427

#N429 Source

type N429 = S N428

#N430 Source

type N430 = S N429

#N431 Source

type N431 = S N430

#N432 Source

type N432 = S N431

#N433 Source

type N433 = S N432

#N434 Source

type N434 = S N433

#N435 Source

type N435 = S N434

#N436 Source

type N436 = S N435

#N437 Source

type N437 = S N436

#N438 Source

type N438 = S N437

#N439 Source

type N439 = S N438

#N440 Source

type N440 = S N439

#N441 Source

type N441 = S N440

#N442 Source

type N442 = S N441

#N443 Source

type N443 = S N442

#N444 Source

type N444 = S N443

#N445 Source

type N445 = S N444

#N446 Source

type N446 = S N445

#N447 Source

type N447 = S N446

#N448 Source

type N448 = S N447

#N449 Source

type N449 = S N448

#N450 Source

type N450 = S N449

#N451 Source

type N451 = S N450

#N452 Source

type N452 = S N451

#N453 Source

type N453 = S N452

#N454 Source

type N454 = S N453

#N455 Source

type N455 = S N454

#N456 Source

type N456 = S N455

#N457 Source

type N457 = S N456

#N458 Source

type N458 = S N457

#N459 Source

type N459 = S N458

#N460 Source

type N460 = S N459

#N461 Source

type N461 = S N460

#N462 Source

type N462 = S N461

#N463 Source

type N463 = S N462

#N464 Source

type N464 = S N463

#N465 Source

type N465 = S N464

#N466 Source

type N466 = S N465

#N467 Source

type N467 = S N466

#N468 Source

type N468 = S N467

#N469 Source

type N469 = S N468

#N470 Source

type N470 = S N469

#N471 Source

type N471 = S N470

#N472 Source

type N472 = S N471

#N473 Source

type N473 = S N472

#N474 Source

type N474 = S N473

#N475 Source

type N475 = S N474

#N476 Source

type N476 = S N475

#N477 Source

type N477 = S N476

#N478 Source

type N478 = S N477

#N479 Source

type N479 = S N478

#N480 Source

type N480 = S N479

#N481 Source

type N481 = S N480

#N482 Source

type N482 = S N481

#N483 Source

type N483 = S N482

#N484 Source

type N484 = S N483

#N485 Source

type N485 = S N484

#N486 Source

type N486 = S N485

#N487 Source

type N487 = S N486

#N488 Source

type N488 = S N487

#N489 Source

type N489 = S N488

#N490 Source

type N490 = S N489

#N491 Source

type N491 = S N490

#N492 Source

type N492 = S N491

#N493 Source

type N493 = S N492

#N494 Source

type N494 = S N493

#N495 Source

type N495 = S N494

#N496 Source

type N496 = S N495

#N497 Source

type N497 = S N496

#N498 Source

type N498 = S N497

#N499 Source

type N499 = S N498

#N500 Source

type N500 = S N499

#N501 Source

type N501 = S N500

#N502 Source

type N502 = S N501

#N503 Source

type N503 = S N502

#N504 Source

type N504 = S N503

#N505 Source

type N505 = S N504

#N506 Source

type N506 = S N505

#N507 Source

type N507 = S N506

#N508 Source

type N508 = S N507

#N509 Source

type N509 = S N508

#N510 Source

type N510 = S N509

#N511 Source

type N511 = S N510

#N512 Source

type N512 = S N511

#N513 Source

type N513 = S N512

#N514 Source

type N514 = S N513

#N515 Source

type N515 = S N514

#N516 Source

type N516 = S N515

#N517 Source

type N517 = S N516

#N518 Source

type N518 = S N517

#N519 Source

type N519 = S N518

#N520 Source

type N520 = S N519

#N521 Source

type N521 = S N520

#N522 Source

type N522 = S N521

#N523 Source

type N523 = S N522

#N524 Source

type N524 = S N523

#N525 Source

type N525 = S N524

#N526 Source

type N526 = S N525

#N527 Source

type N527 = S N526

#N528 Source

type N528 = S N527

#N529 Source

type N529 = S N528

#N530 Source

type N530 = S N529

#N531 Source

type N531 = S N530

#N532 Source

type N532 = S N531

#N533 Source

type N533 = S N532

#N534 Source

type N534 = S N533

#N535 Source

type N535 = S N534

#N536 Source

type N536 = S N535

#N537 Source

type N537 = S N536

#N538 Source

type N538 = S N537

#N539 Source

type N539 = S N538

#N540 Source

type N540 = S N539

#N541 Source

type N541 = S N540

#N542 Source

type N542 = S N541

#N543 Source

type N543 = S N542

#N544 Source

type N544 = S N543

#N545 Source

type N545 = S N544

#N546 Source

type N546 = S N545

#N547 Source

type N547 = S N546

#N548 Source

type N548 = S N547

#N549 Source

type N549 = S N548

#N550 Source

type N550 = S N549

#N551 Source

type N551 = S N550

#N552 Source

type N552 = S N551

#N553 Source

type N553 = S N552

#N554 Source

type N554 = S N553

#N555 Source

type N555 = S N554

#N556 Source

type N556 = S N555

#N557 Source

type N557 = S N556

#N558 Source

type N558 = S N557

#N559 Source

type N559 = S N558

#N560 Source

type N560 = S N559

#N561 Source

type N561 = S N560

#N562 Source

type N562 = S N561

#N563 Source

type N563 = S N562

#N564 Source

type N564 = S N563

#N565 Source

type N565 = S N564

#N566 Source

type N566 = S N565

#N567 Source

type N567 = S N566

#N568 Source

type N568 = S N567

#N569 Source

type N569 = S N568

#N570 Source

type N570 = S N569

#N571 Source

type N571 = S N570

#N572 Source

type N572 = S N571

#N573 Source

type N573 = S N572

#N574 Source

type N574 = S N573

#N575 Source

type N575 = S N574

#N576 Source

type N576 = S N575

#N577 Source

type N577 = S N576

#N578 Source

type N578 = S N577

#N579 Source

type N579 = S N578

#N580 Source

type N580 = S N579

#N581 Source

type N581 = S N580

#N582 Source

type N582 = S N581

#N583 Source

type N583 = S N582

#N584 Source

type N584 = S N583

#N585 Source

type N585 = S N584

#N586 Source

type N586 = S N585

#N587 Source

type N587 = S N586

#N588 Source

type N588 = S N587

#N589 Source

type N589 = S N588

#N590 Source

type N590 = S N589

#N591 Source

type N591 = S N590

#N592 Source

type N592 = S N591

#N593 Source

type N593 = S N592

#N594 Source

type N594 = S N593

#N595 Source

type N595 = S N594

#N596 Source

type N596 = S N595

#N597 Source

type N597 = S N596

#N598 Source

type N598 = S N597

#N599 Source

type N599 = S N598

#N600 Source

type N600 = S N599

#N601 Source

type N601 = S N600

#N602 Source

type N602 = S N601

#N603 Source

type N603 = S N602

#N604 Source

type N604 = S N603

#N605 Source

type N605 = S N604

#N606 Source

type N606 = S N605

#N607 Source

type N607 = S N606

#N608 Source

type N608 = S N607

#N609 Source

type N609 = S N608

#N610 Source

type N610 = S N609

#N611 Source

type N611 = S N610

#N612 Source

type N612 = S N611

#N613 Source

type N613 = S N612

#N614 Source

type N614 = S N613

#N615 Source

type N615 = S N614

#N616 Source

type N616 = S N615

#N617 Source

type N617 = S N616

#N618 Source

type N618 = S N617

#N619 Source

type N619 = S N618

#N620 Source

type N620 = S N619

#N621 Source

type N621 = S N620

#N622 Source

type N622 = S N621

#N623 Source

type N623 = S N622

#N624 Source

type N624 = S N623

#N625 Source

type N625 = S N624

#N626 Source

type N626 = S N625

#N627 Source

type N627 = S N626

#N628 Source

type N628 = S N627

#N629 Source

type N629 = S N628

#N630 Source

type N630 = S N629

#N631 Source

type N631 = S N630

#N632 Source

type N632 = S N631

#N633 Source

type N633 = S N632

#N634 Source

type N634 = S N633

#N635 Source

type N635 = S N634

#N636 Source

type N636 = S N635

#N637 Source

type N637 = S N636

#N638 Source

type N638 = S N637

#N639 Source

type N639 = S N638

#N640 Source

type N640 = S N639

#N641 Source

type N641 = S N640

#N642 Source

type N642 = S N641

#N643 Source

type N643 = S N642

#N644 Source

type N644 = S N643

#N645 Source

type N645 = S N644

#N646 Source

type N646 = S N645

#N647 Source

type N647 = S N646

#N648 Source

type N648 = S N647

#N649 Source

type N649 = S N648

#N650 Source

type N650 = S N649

#N651 Source

type N651 = S N650

#N652 Source

type N652 = S N651

#N653 Source

type N653 = S N652

#N654 Source

type N654 = S N653

#N655 Source

type N655 = S N654

#N656 Source

type N656 = S N655

#N657 Source

type N657 = S N656

#N658 Source

type N658 = S N657

#N659 Source

type N659 = S N658

#N660 Source

type N660 = S N659

#N661 Source

type N661 = S N660

#N662 Source

type N662 = S N661

#N663 Source

type N663 = S N662

#N664 Source

type N664 = S N663

#N665 Source

type N665 = S N664

#N666 Source

type N666 = S N665

#N667 Source

type N667 = S N666

#N668 Source

type N668 = S N667

#N669 Source

type N669 = S N668

#N670 Source

type N670 = S N669

#N671 Source

type N671 = S N670

#N672 Source

type N672 = S N671

#N673 Source

type N673 = S N672

#N674 Source

type N674 = S N673

#N675 Source

type N675 = S N674

#N676 Source

type N676 = S N675

#N677 Source

type N677 = S N676

#N678 Source

type N678 = S N677

#N679 Source

type N679 = S N678

#N680 Source

type N680 = S N679

#N681 Source

type N681 = S N680

#N682 Source

type N682 = S N681

#N683 Source

type N683 = S N682

#N684 Source

type N684 = S N683

#N685 Source

type N685 = S N684

#N686 Source

type N686 = S N685

#N687 Source

type N687 = S N686

#N688 Source

type N688 = S N687

#N689 Source

type N689 = S N688

#N690 Source

type N690 = S N689

#N691 Source

type N691 = S N690

#N692 Source

type N692 = S N691

#N693 Source

type N693 = S N692

#N694 Source

type N694 = S N693

#N695 Source

type N695 = S N694

#N696 Source

type N696 = S N695

#N697 Source

type N697 = S N696

#N698 Source

type N698 = S N697

#N699 Source

type N699 = S N698

#N700 Source

type N700 = S N699

#N701 Source

type N701 = S N700

#N702 Source

type N702 = S N701

#N703 Source

type N703 = S N702

#N704 Source

type N704 = S N703

#N705 Source

type N705 = S N704

#N706 Source

type N706 = S N705

#N707 Source

type N707 = S N706

#N708 Source

type N708 = S N707

#N709 Source

type N709 = S N708

#N710 Source

type N710 = S N709

#N711 Source

type N711 = S N710

#N712 Source

type N712 = S N711

#N713 Source

type N713 = S N712

#N714 Source

type N714 = S N713

#N715 Source

type N715 = S N714

#N716 Source

type N716 = S N715

#N717 Source

type N717 = S N716

#N718 Source

type N718 = S N717

#N719 Source

type N719 = S N718

#N720 Source

type N720 = S N719

#N721 Source

type N721 = S N720

#N722 Source

type N722 = S N721

#N723 Source

type N723 = S N722

#N724 Source

type N724 = S N723

#N725 Source

type N725 = S N724

#N726 Source

type N726 = S N725

#N727 Source

type N727 = S N726

#N728 Source

type N728 = S N727

#N729 Source

type N729 = S N728

#N730 Source

type N730 = S N729

#N731 Source

type N731 = S N730

#N732 Source

type N732 = S N731

#N733 Source

type N733 = S N732

#N734 Source

type N734 = S N733

#N735 Source

type N735 = S N734

#N736 Source

type N736 = S N735

#N737 Source

type N737 = S N736

#N738 Source

type N738 = S N737

#N739 Source

type N739 = S N738

#N740 Source

type N740 = S N739

#N741 Source

type N741 = S N740

#N742 Source

type N742 = S N741

#N743 Source

type N743 = S N742

#N744 Source

type N744 = S N743

#N745 Source

type N745 = S N744

#N746 Source

type N746 = S N745

#N747 Source

type N747 = S N746

#N748 Source

type N748 = S N747

#N749 Source

type N749 = S N748

#N750 Source

type N750 = S N749

#N751 Source

type N751 = S N750

#N752 Source

type N752 = S N751

#N753 Source

type N753 = S N752

#N754 Source

type N754 = S N753

#N755 Source

type N755 = S N754

#N756 Source

type N756 = S N755

#N757 Source

type N757 = S N756

#N758 Source

type N758 = S N757

#N759 Source

type N759 = S N758

#N760 Source

type N760 = S N759

#N761 Source

type N761 = S N760

#N762 Source

type N762 = S N761

#N763 Source

type N763 = S N762

#N764 Source

type N764 = S N763

#N765 Source

type N765 = S N764

#N766 Source

type N766 = S N765

#N767 Source

type N767 = S N766

#N768 Source

type N768 = S N767

#N769 Source

type N769 = S N768

#N770 Source

type N770 = S N769

#N771 Source

type N771 = S N770

#N772 Source

type N772 = S N771

#N773 Source

type N773 = S N772

#N774 Source

type N774 = S N773

#N775 Source

type N775 = S N774

#N776 Source

type N776 = S N775

#N777 Source

type N777 = S N776

#N778 Source

type N778 = S N777

#N779 Source

type N779 = S N778

#N780 Source

type N780 = S N779

#N781 Source

type N781 = S N780

#N782 Source

type N782 = S N781

#N783 Source

type N783 = S N782

#N784 Source

type N784 = S N783

#N785 Source

type N785 = S N784

#N786 Source

type N786 = S N785

#N787 Source

type N787 = S N786

#N788 Source

type N788 = S N787

#N789 Source

type N789 = S N788

#N790 Source

type N790 = S N789

#N791 Source

type N791 = S N790

#N792 Source

type N792 = S N791

#N793 Source

type N793 = S N792

#N794 Source

type N794 = S N793

#N795 Source

type N795 = S N794

#N796 Source

type N796 = S N795

#N797 Source

type N797 = S N796

#N798 Source

type N798 = S N797

#N799 Source

type N799 = S N798

#N800 Source

type N800 = S N799

#N801 Source

type N801 = S N800

#N802 Source

type N802 = S N801

#N803 Source

type N803 = S N802

#N804 Source

type N804 = S N803

#N805 Source

type N805 = S N804

#N806 Source

type N806 = S N805

#N807 Source

type N807 = S N806

#N808 Source

type N808 = S N807

#N809 Source

type N809 = S N808

#N810 Source

type N810 = S N809

#N811 Source

type N811 = S N810

#N812 Source

type N812 = S N811

#N813 Source

type N813 = S N812

#N814 Source

type N814 = S N813

#N815 Source

type N815 = S N814

#N816 Source

type N816 = S N815

#N817 Source

type N817 = S N816

#N818 Source

type N818 = S N817

#N819 Source

type N819 = S N818

#N820 Source

type N820 = S N819

#N821 Source

type N821 = S N820

#N822 Source

type N822 = S N821

#N823 Source

type N823 = S N822

#N824 Source

type N824 = S N823

#N825 Source

type N825 = S N824

#N826 Source

type N826 = S N825

#N827 Source

type N827 = S N826

#N828 Source

type N828 = S N827

#N829 Source

type N829 = S N828

#N830 Source

type N830 = S N829

#N831 Source

type N831 = S N830

#N832 Source

type N832 = S N831

#N833 Source

type N833 = S N832

#N834 Source

type N834 = S N833

#N835 Source

type N835 = S N834

#N836 Source

type N836 = S N835

#N837 Source

type N837 = S N836

#N838 Source

type N838 = S N837

#N839 Source

type N839 = S N838

#N840 Source

type N840 = S N839

#N841 Source

type N841 = S N840

#N842 Source

type N842 = S N841

#N843 Source

type N843 = S N842

#N844 Source

type N844 = S N843

#N845 Source

type N845 = S N844

#N846 Source

type N846 = S N845

#N847 Source

type N847 = S N846

#N848 Source

type N848 = S N847

#N849 Source

type N849 = S N848

#N850 Source

type N850 = S N849

#N851 Source

type N851 = S N850

#N852 Source

type N852 = S N851

#N853 Source

type N853 = S N852

#N854 Source

type N854 = S N853

#N855 Source

type N855 = S N854

#N856 Source

type N856 = S N855

#N857 Source

type N857 = S N856

#N858 Source

type N858 = S N857

#N859 Source

type N859 = S N858

#N860 Source

type N860 = S N859

#N861 Source

type N861 = S N860

#N862 Source

type N862 = S N861

#N863 Source

type N863 = S N862

#N864 Source

type N864 = S N863

#N865 Source

type N865 = S N864

#N866 Source

type N866 = S N865

#N867 Source

type N867 = S N866

#N868 Source

type N868 = S N867

#N869 Source

type N869 = S N868

#N870 Source

type N870 = S N869

#N871 Source

type N871 = S N870

#N872 Source

type N872 = S N871

#N873 Source

type N873 = S N872

#N874 Source

type N874 = S N873

#N875 Source

type N875 = S N874

#N876 Source

type N876 = S N875

#N877 Source

type N877 = S N876

#N878 Source

type N878 = S N877

#N879 Source

type N879 = S N878

#N880 Source

type N880 = S N879

#N881 Source

type N881 = S N880

#N882 Source

type N882 = S N881

#N883 Source

type N883 = S N882

#N884 Source

type N884 = S N883

#N885 Source

type N885 = S N884

#N886 Source

type N886 = S N885

#N887 Source

type N887 = S N886

#N888 Source

type N888 = S N887

#N889 Source

type N889 = S N888

#N890 Source

type N890 = S N889

#N891 Source

type N891 = S N890

#N892 Source

type N892 = S N891

#N893 Source

type N893 = S N892

#N894 Source

type N894 = S N893

#N895 Source

type N895 = S N894

#N896 Source

type N896 = S N895

#N897 Source

type N897 = S N896

#N898 Source

type N898 = S N897

#N899 Source

type N899 = S N898

#N900 Source

type N900 = S N899

#N901 Source

type N901 = S N900

#N902 Source

type N902 = S N901

#N903 Source

type N903 = S N902

#N904 Source

type N904 = S N903

#N905 Source

type N905 = S N904

#N906 Source

type N906 = S N905

#N907 Source

type N907 = S N906

#N908 Source

type N908 = S N907

#N909 Source

type N909 = S N908

#N910 Source

type N910 = S N909

#N911 Source

type N911 = S N910

#N912 Source

type N912 = S N911

#N913 Source

type N913 = S N912

#N914 Source

type N914 = S N913

#N915 Source

type N915 = S N914

#N916 Source

type N916 = S N915

#N917 Source

type N917 = S N916

#N918 Source

type N918 = S N917

#N919 Source

type N919 = S N918

#N920 Source

type N920 = S N919

#N921 Source

type N921 = S N920

#N922 Source

type N922 = S N921

#N923 Source

type N923 = S N922

#N924 Source

type N924 = S N923

#N925 Source

type N925 = S N924

#N926 Source

type N926 = S N925

#N927 Source

type N927 = S N926

#N928 Source

type N928 = S N927

#N929 Source

type N929 = S N928

#N930 Source

type N930 = S N929

#N931 Source

type N931 = S N930

#N932 Source

type N932 = S N931

#N933 Source

type N933 = S N932

#N934 Source

type N934 = S N933

#N935 Source

type N935 = S N934

#N936 Source

type N936 = S N935

#N937 Source

type N937 = S N936

#N938 Source

type N938 = S N937

#N939 Source

type N939 = S N938

#N940 Source

type N940 = S N939

#N941 Source

type N941 = S N940

#N942 Source

type N942 = S N941

#N943 Source

type N943 = S N942

#N944 Source

type N944 = S N943

#N945 Source

type N945 = S N944

#N946 Source

type N946 = S N945

#N947 Source

type N947 = S N946

#N948 Source

type N948 = S N947

#N949 Source

type N949 = S N948

#N950 Source

type N950 = S N949

#N951 Source

type N951 = S N950

#N952 Source

type N952 = S N951

#N953 Source

type N953 = S N952

#N954 Source

type N954 = S N953

#N955 Source

type N955 = S N954

#N956 Source

type N956 = S N955

#N957 Source

type N957 = S N956

#N958 Source

type N958 = S N957

#N959 Source

type N959 = S N958

#N960 Source

type N960 = S N959

#N961 Source

type N961 = S N960

#N962 Source

type N962 = S N961

#N963 Source

type N963 = S N962

#N964 Source

type N964 = S N963

#N965 Source

type N965 = S N964

#N966 Source

type N966 = S N965

#N967 Source

type N967 = S N966

#N968 Source

type N968 = S N967

#N969 Source

type N969 = S N968

#N970 Source

type N970 = S N969

#N971 Source

type N971 = S N970

#N972 Source

type N972 = S N971

#N973 Source

type N973 = S N972

#N974 Source

type N974 = S N973

#N975 Source

type N975 = S N974

#N976 Source

type N976 = S N975

#N977 Source

type N977 = S N976

#N978 Source

type N978 = S N977

#N979 Source

type N979 = S N978

#N980 Source

type N980 = S N979

#N981 Source

type N981 = S N980

#N982 Source

type N982 = S N981

#N983 Source

type N983 = S N982

#N984 Source

type N984 = S N983

#N985 Source

type N985 = S N984

#N986 Source

type N986 = S N985

#N987 Source

type N987 = S N986

#N988 Source

type N988 = S N987

#N989 Source

type N989 = S N988

#N990 Source

type N990 = S N989

#N991 Source

type N991 = S N990

#N992 Source

type N992 = S N991

#N993 Source

type N993 = S N992

#N994 Source

type N994 = S N993

#N995 Source

type N995 = S N994

#N996 Source

type N996 = S N995

#N997 Source

type N997 = S N996

#N998 Source

type N998 = S N997

#N999 Source

type N999 = S N998

#N1000 Source

type N1000 = S N999

#N1001 Source

type N1001 = S N1000

#N1002 Source

type N1002 = S N1001

#N1003 Source

type N1003 = S N1002

#N1004 Source

type N1004 = S N1003

#N1005 Source

type N1005 = S N1004

#N1006 Source

type N1006 = S N1005

#N1007 Source

type N1007 = S N1006

#N1008 Source

type N1008 = S N1007

#N1009 Source

type N1009 = S N1008

#N1010 Source

type N1010 = S N1009

#N1011 Source

type N1011 = S N1010

#N1012 Source

type N1012 = S N1011

#N1013 Source

type N1013 = S N1012

#N1014 Source

type N1014 = S N1013

#N1015 Source

type N1015 = S N1014

#N1016 Source

type N1016 = S N1015

#N1017 Source

type N1017 = S N1016

#N1018 Source

type N1018 = S N1017

#N1019 Source

type N1019 = S N1018

#N1020 Source

type N1020 = S N1019

#N1021 Source

type N1021 = S N1020

#N1022 Source

type N1022 = S N1021

#N1023 Source

type N1023 = S N1022

#N1024 Source

type N1024 = S N1023
Modules
Type.Nat1
Type.Quotient