module functional_types

functional :: functional_types

This module provides functional type to represents various function forms.

Function types can hold up to 20 arguments. The type Fun is for function (input and output) and Proc is for procedure (input but no output). This file is automatically generated, do not edit it manually.

Introduced classes

interface Fun

functional :: Fun

interface Fun0[RESULT: nullable Object]

functional :: Fun0

interface Fun1[A0: nullable Object, RESULT: nullable Object]

functional :: Fun1

interface Fun10[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, RESULT: nullable Object]

functional :: Fun10

interface Fun11[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, RESULT: nullable Object]

functional :: Fun11

interface Fun12[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, RESULT: nullable Object]

functional :: Fun12

interface Fun13[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, RESULT: nullable Object]

functional :: Fun13

interface Fun14[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, RESULT: nullable Object]

functional :: Fun14

interface Fun15[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, RESULT: nullable Object]

functional :: Fun15

interface Fun16[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, RESULT: nullable Object]

functional :: Fun16

interface Fun17[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, RESULT: nullable Object]

functional :: Fun17

interface Fun18[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, RESULT: nullable Object]

functional :: Fun18

interface Fun19[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, A18: nullable Object, RESULT: nullable Object]

functional :: Fun19

interface Fun2[A0: nullable Object, A1: nullable Object, RESULT: nullable Object]

functional :: Fun2

interface Fun3[A0: nullable Object, A1: nullable Object, A2: nullable Object, RESULT: nullable Object]

functional :: Fun3

interface Fun4[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, RESULT: nullable Object]

functional :: Fun4

interface Fun5[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, RESULT: nullable Object]

functional :: Fun5

interface Fun6[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, RESULT: nullable Object]

functional :: Fun6

interface Fun7[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, RESULT: nullable Object]

functional :: Fun7

interface Fun8[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, RESULT: nullable Object]

functional :: Fun8

interface Fun9[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, RESULT: nullable Object]

functional :: Fun9

enum FunRef0[RESULT: nullable Object]

functional :: FunRef0

enum FunRef1[A0: nullable Object, RESULT: nullable Object]

functional :: FunRef1

enum FunRef10[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, RESULT: nullable Object]

functional :: FunRef10

enum FunRef11[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, RESULT: nullable Object]

functional :: FunRef11

enum FunRef12[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, RESULT: nullable Object]

functional :: FunRef12

enum FunRef13[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, RESULT: nullable Object]

functional :: FunRef13

enum FunRef14[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, RESULT: nullable Object]

functional :: FunRef14

enum FunRef15[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, RESULT: nullable Object]

functional :: FunRef15

enum FunRef16[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, RESULT: nullable Object]

functional :: FunRef16

enum FunRef17[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, RESULT: nullable Object]

functional :: FunRef17

enum FunRef18[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, RESULT: nullable Object]

functional :: FunRef18

enum FunRef19[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, A18: nullable Object, RESULT: nullable Object]

functional :: FunRef19

enum FunRef2[A0: nullable Object, A1: nullable Object, RESULT: nullable Object]

functional :: FunRef2

enum FunRef3[A0: nullable Object, A1: nullable Object, A2: nullable Object, RESULT: nullable Object]

functional :: FunRef3

enum FunRef4[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, RESULT: nullable Object]

functional :: FunRef4

enum FunRef5[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, RESULT: nullable Object]

functional :: FunRef5

enum FunRef6[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, RESULT: nullable Object]

functional :: FunRef6

enum FunRef7[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, RESULT: nullable Object]

functional :: FunRef7

enum FunRef8[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, RESULT: nullable Object]

functional :: FunRef8

enum FunRef9[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, RESULT: nullable Object]

functional :: FunRef9

interface Proc

functional :: Proc

interface Proc0

functional :: Proc0

interface Proc1[A0: nullable Object]

functional :: Proc1

interface Proc10[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object]

functional :: Proc10

interface Proc11[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object]

functional :: Proc11

interface Proc12[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object]

functional :: Proc12

interface Proc13[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object]

functional :: Proc13

interface Proc14[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object]

functional :: Proc14

interface Proc15[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object]

functional :: Proc15

interface Proc16[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object]

functional :: Proc16

interface Proc17[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object]

functional :: Proc17

interface Proc18[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object]

functional :: Proc18

interface Proc19[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, A18: nullable Object]

functional :: Proc19

interface Proc2[A0: nullable Object, A1: nullable Object]

functional :: Proc2

interface Proc3[A0: nullable Object, A1: nullable Object, A2: nullable Object]

functional :: Proc3

interface Proc4[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object]

functional :: Proc4

interface Proc5[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object]

functional :: Proc5

interface Proc6[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object]

functional :: Proc6

interface Proc7[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object]

functional :: Proc7

interface Proc8[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object]

functional :: Proc8

interface Proc9[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object]

functional :: Proc9

enum ProcRef1[A0: nullable Object]

functional :: ProcRef1

enum ProcRef10[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object]

functional :: ProcRef10

enum ProcRef11[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object]

functional :: ProcRef11

enum ProcRef12[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object]

functional :: ProcRef12

enum ProcRef13[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object]

functional :: ProcRef13

enum ProcRef14[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object]

functional :: ProcRef14

enum ProcRef15[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object]

functional :: ProcRef15

enum ProcRef16[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object]

functional :: ProcRef16

enum ProcRef17[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object]

functional :: ProcRef17

enum ProcRef18[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object]

functional :: ProcRef18

enum ProcRef19[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, A18: nullable Object]

functional :: ProcRef19

enum ProcRef2[A0: nullable Object, A1: nullable Object]

functional :: ProcRef2

enum ProcRef3[A0: nullable Object, A1: nullable Object, A2: nullable Object]

functional :: ProcRef3

enum ProcRef4[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object]

functional :: ProcRef4

enum ProcRef5[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object]

functional :: ProcRef5

enum ProcRef6[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object]

functional :: ProcRef6

enum ProcRef7[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object]

functional :: ProcRef7

enum ProcRef8[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object]

functional :: ProcRef8

enum ProcRef9[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object]

functional :: ProcRef9

interface Routine

functional :: Routine

All class definitions

interface Fun

functional $ Fun

interface Fun0[RESULT: nullable Object]

functional $ Fun0

interface Fun1[A0: nullable Object, RESULT: nullable Object]

functional $ Fun1

interface Fun10[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, RESULT: nullable Object]

functional $ Fun10

interface Fun11[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, RESULT: nullable Object]

functional $ Fun11

interface Fun12[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, RESULT: nullable Object]

functional $ Fun12

interface Fun13[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, RESULT: nullable Object]

functional $ Fun13

interface Fun14[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, RESULT: nullable Object]

functional $ Fun14

interface Fun15[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, RESULT: nullable Object]

functional $ Fun15

interface Fun16[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, RESULT: nullable Object]

functional $ Fun16

interface Fun17[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, RESULT: nullable Object]

functional $ Fun17

interface Fun18[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, RESULT: nullable Object]

functional $ Fun18

interface Fun19[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, A18: nullable Object, RESULT: nullable Object]

functional $ Fun19

interface Fun2[A0: nullable Object, A1: nullable Object, RESULT: nullable Object]

functional $ Fun2

interface Fun3[A0: nullable Object, A1: nullable Object, A2: nullable Object, RESULT: nullable Object]

functional $ Fun3

interface Fun4[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, RESULT: nullable Object]

functional $ Fun4

interface Fun5[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, RESULT: nullable Object]

functional $ Fun5

interface Fun6[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, RESULT: nullable Object]

functional $ Fun6

interface Fun7[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, RESULT: nullable Object]

functional $ Fun7

interface Fun8[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, RESULT: nullable Object]

functional $ Fun8

interface Fun9[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, RESULT: nullable Object]

functional $ Fun9

enum FunRef0[RESULT: nullable Object]

functional $ FunRef0

enum FunRef1[A0: nullable Object, RESULT: nullable Object]

functional $ FunRef1

enum FunRef10[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, RESULT: nullable Object]

functional $ FunRef10

enum FunRef11[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, RESULT: nullable Object]

functional $ FunRef11

enum FunRef12[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, RESULT: nullable Object]

functional $ FunRef12

enum FunRef13[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, RESULT: nullable Object]

functional $ FunRef13

enum FunRef14[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, RESULT: nullable Object]

functional $ FunRef14

enum FunRef15[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, RESULT: nullable Object]

functional $ FunRef15

enum FunRef16[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, RESULT: nullable Object]

functional $ FunRef16

enum FunRef17[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, RESULT: nullable Object]

functional $ FunRef17

enum FunRef18[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, RESULT: nullable Object]

functional $ FunRef18

enum FunRef19[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, A18: nullable Object, RESULT: nullable Object]

functional $ FunRef19

enum FunRef2[A0: nullable Object, A1: nullable Object, RESULT: nullable Object]

functional $ FunRef2

enum FunRef3[A0: nullable Object, A1: nullable Object, A2: nullable Object, RESULT: nullable Object]

functional $ FunRef3

enum FunRef4[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, RESULT: nullable Object]

functional $ FunRef4

enum FunRef5[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, RESULT: nullable Object]

functional $ FunRef5

enum FunRef6[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, RESULT: nullable Object]

functional $ FunRef6

enum FunRef7[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, RESULT: nullable Object]

functional $ FunRef7

enum FunRef8[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, RESULT: nullable Object]

functional $ FunRef8

enum FunRef9[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, RESULT: nullable Object]

functional $ FunRef9

interface Proc

functional $ Proc

interface Proc0

functional $ Proc0

interface Proc1[A0: nullable Object]

functional $ Proc1

interface Proc10[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object]

functional $ Proc10

interface Proc11[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object]

functional $ Proc11

interface Proc12[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object]

functional $ Proc12

interface Proc13[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object]

functional $ Proc13

interface Proc14[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object]

functional $ Proc14

interface Proc15[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object]

functional $ Proc15

interface Proc16[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object]

functional $ Proc16

interface Proc17[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object]

functional $ Proc17

interface Proc18[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object]

functional $ Proc18

interface Proc19[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, A18: nullable Object]

functional $ Proc19

interface Proc2[A0: nullable Object, A1: nullable Object]

functional $ Proc2

interface Proc3[A0: nullable Object, A1: nullable Object, A2: nullable Object]

functional $ Proc3

interface Proc4[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object]

functional $ Proc4

interface Proc5[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object]

functional $ Proc5

interface Proc6[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object]

functional $ Proc6

interface Proc7[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object]

functional $ Proc7

interface Proc8[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object]

functional $ Proc8

interface Proc9[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object]

functional $ Proc9

enum ProcRef1[A0: nullable Object]

functional $ ProcRef1

enum ProcRef10[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object]

functional $ ProcRef10

enum ProcRef11[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object]

functional $ ProcRef11

enum ProcRef12[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object]

functional $ ProcRef12

enum ProcRef13[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object]

functional $ ProcRef13

enum ProcRef14[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object]

functional $ ProcRef14

enum ProcRef15[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object]

functional $ ProcRef15

enum ProcRef16[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object]

functional $ ProcRef16

enum ProcRef17[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object]

functional $ ProcRef17

enum ProcRef18[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object]

functional $ ProcRef18

enum ProcRef19[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object, A9: nullable Object, A10: nullable Object, A11: nullable Object, A12: nullable Object, A13: nullable Object, A14: nullable Object, A15: nullable Object, A16: nullable Object, A17: nullable Object, A18: nullable Object]

functional $ ProcRef19

enum ProcRef2[A0: nullable Object, A1: nullable Object]

functional $ ProcRef2

enum ProcRef3[A0: nullable Object, A1: nullable Object, A2: nullable Object]

functional $ ProcRef3

enum ProcRef4[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object]

functional $ ProcRef4

enum ProcRef5[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object]

functional $ ProcRef5

enum ProcRef6[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object]

functional $ ProcRef6

enum ProcRef7[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object]

functional $ ProcRef7

enum ProcRef8[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object]

functional $ ProcRef8

enum ProcRef9[A0: nullable Object, A1: nullable Object, A2: nullable Object, A3: nullable Object, A4: nullable Object, A5: nullable Object, A6: nullable Object, A7: nullable Object, A8: nullable Object]

functional $ ProcRef9

interface Routine

functional $ Routine

package_diagram functional::functional_types functional_types core core functional::functional_types->core functional::iter_extras iter_extras functional::iter_extras->functional::functional_types functional::test_utils test_utils functional::test_utils->functional::functional_types functional::functional functional functional::functional->functional::iter_extras functional::functional... ... functional::functional...->functional::functional

Ancestors

module abstract_collection

core :: abstract_collection

Abstract collection classes and services.
module abstract_text

core :: abstract_text

Abstract class for manipulation of sequences of characters
module array

core :: array

This module introduces the standard array structure.
module bitset

core :: bitset

Services to handle BitSet
module bytes

core :: bytes

Services for byte streams and arrays
module circular_array

core :: circular_array

Efficient data structure to access both end of the sequence.
module codec_base

core :: codec_base

Base for codecs to use with streams
module codecs

core :: codecs

Group module for all codec-related manipulations
module collection

core :: collection

This module define several collection classes.
module environ

core :: environ

Access to the environment variables of the process
module error

core :: error

Standard error-management infrastructure.
module exec

core :: exec

Invocation and management of operating system sub-processes.
module file

core :: file

File manipulations (create, read, write, etc.)
module fixed_ints

core :: fixed_ints

Basic integers of fixed-precision
module fixed_ints_text

core :: fixed_ints_text

Text services to complement fixed_ints
module flat

core :: flat

All the array-based text representations
module gc

core :: gc

Access to the Nit internal garbage collection mechanism
module hash_collection

core :: hash_collection

Introduce HashMap and HashSet.
module iso8859_1

core :: iso8859_1

Codec for ISO8859-1 I/O
module kernel

core :: kernel

Most basic classes and methods.
module list

core :: list

This module handle double linked lists
module math

core :: math

Mathematical operations
module native

core :: native

Native structures for text and bytes
module numeric

core :: numeric

Advanced services for Numeric types
module protocol

core :: protocol

module queue

core :: queue

Queuing data structures and wrappers
module range

core :: range

Module for range of discrete objects.
module re

core :: re

Regular expression support for all services based on Pattern
module ropes

core :: ropes

Tree-based representation of a String.
module sorter

core :: sorter

This module contains classes used to compare things and sorts arrays.
module stream

core :: stream

Input and output streams of characters
module text

core :: text

All the classes and methods related to the manipulation of text entities
module time

core :: time

Management of time and dates
module union_find

core :: union_find

union–find algorithm using an efficient disjoint-set data structure
module utf8

core :: utf8

Codec for UTF-8 I/O

Parents

module core

core :: core

Standard classes and methods used by default by Nit programs and libraries.

Children

module iter_extras

functional :: iter_extras

This modules provides a new functional interface for Iterator.

Descendants

module a_star-m

a_star-m

module functional

functional :: functional

Functional types and functional API for Iterator 
# This module provides functional type to represents various function forms.
# Function types can hold up to 20 arguments. The type `Fun` is for function
# (input and output) and `Proc` is for procedure (input but no output).
# This file is automatically generated, do not edit it manually.
module functional_types

interface Routine
end
interface Fun
        super Routine
end
interface Proc
        super Routine
end
interface Fun0[RESULT]
	super Fun
	fun call: RESULT is abstract
end
interface Proc0
	super Proc
	fun call is abstract
end
interface Fun1[A0,RESULT]
	super Fun
	fun call(a0: A0): RESULT is abstract
end
interface Proc1[A0]
	super Proc
	fun call(a0: A0) is abstract
end
interface Fun2[A0,A1,RESULT]
	super Fun
	fun call(a0: A0,a1: A1): RESULT is abstract
end
interface Proc2[A0,A1]
	super Proc
	fun call(a0: A0,a1: A1) is abstract
end
interface Fun3[A0,A1,A2,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2): RESULT is abstract
end
interface Proc3[A0,A1,A2]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2) is abstract
end
interface Fun4[A0,A1,A2,A3,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3): RESULT is abstract
end
interface Proc4[A0,A1,A2,A3]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3) is abstract
end
interface Fun5[A0,A1,A2,A3,A4,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4): RESULT is abstract
end
interface Proc5[A0,A1,A2,A3,A4]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4) is abstract
end
interface Fun6[A0,A1,A2,A3,A4,A5,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5): RESULT is abstract
end
interface Proc6[A0,A1,A2,A3,A4,A5]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5) is abstract
end
interface Fun7[A0,A1,A2,A3,A4,A5,A6,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6): RESULT is abstract
end
interface Proc7[A0,A1,A2,A3,A4,A5,A6]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6) is abstract
end
interface Fun8[A0,A1,A2,A3,A4,A5,A6,A7,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7): RESULT is abstract
end
interface Proc8[A0,A1,A2,A3,A4,A5,A6,A7]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7) is abstract
end
interface Fun9[A0,A1,A2,A3,A4,A5,A6,A7,A8,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8): RESULT is abstract
end
interface Proc9[A0,A1,A2,A3,A4,A5,A6,A7,A8]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8) is abstract
end
interface Fun10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9): RESULT is abstract
end
interface Proc10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9) is abstract
end
interface Fun11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10): RESULT is abstract
end
interface Proc11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10) is abstract
end
interface Fun12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11): RESULT is abstract
end
interface Proc12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11) is abstract
end
interface Fun13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12): RESULT is abstract
end
interface Proc13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12) is abstract
end
interface Fun14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13): RESULT is abstract
end
interface Proc14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13) is abstract
end
interface Fun15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14): RESULT is abstract
end
interface Proc15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14) is abstract
end
interface Fun16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14,a15: A15): RESULT is abstract
end
interface Proc16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14,a15: A15) is abstract
end
interface Fun17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14,a15: A15,a16: A16): RESULT is abstract
end
interface Proc17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14,a15: A15,a16: A16) is abstract
end
interface Fun18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14,a15: A15,a16: A16,a17: A17): RESULT is abstract
end
interface Proc18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14,a15: A15,a16: A16,a17: A17) is abstract
end
interface Fun19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18,RESULT]
	super Fun
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14,a15: A15,a16: A16,a17: A17,a18: A18): RESULT is abstract
end
interface Proc19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18]
	super Proc
	fun call(a0: A0,a1: A1,a2: A2,a3: A3,a4: A4,a5: A5,a6: A6,a7: A7,a8: A8,a9: A9,a10: A10,a11: A11,a12: A12,a13: A13,a14: A14,a15: A15,a16: A16,a17: A17,a18: A18) is abstract
end
universal FunRef0[RESULT]
	super Fun0[RESULT]
	redef fun call: RESULT is intern
end
universal ProcRef0
	super Proc0
	redef fun call is intern
end
universal FunRef1[A0,RESULT]
	super Fun1[A0,RESULT]
	redef fun call(a0): RESULT is intern
end
universal ProcRef1[A0]
	super Proc1[A0]
	redef fun call(a0) is intern
end
universal FunRef2[A0,A1,RESULT]
	super Fun2[A0,A1,RESULT]
	redef fun call(a0,a1): RESULT is intern
end
universal ProcRef2[A0,A1]
	super Proc2[A0,A1]
	redef fun call(a0,a1) is intern
end
universal FunRef3[A0,A1,A2,RESULT]
	super Fun3[A0,A1,A2,RESULT]
	redef fun call(a0,a1,a2): RESULT is intern
end
universal ProcRef3[A0,A1,A2]
	super Proc3[A0,A1,A2]
	redef fun call(a0,a1,a2) is intern
end
universal FunRef4[A0,A1,A2,A3,RESULT]
	super Fun4[A0,A1,A2,A3,RESULT]
	redef fun call(a0,a1,a2,a3): RESULT is intern
end
universal ProcRef4[A0,A1,A2,A3]
	super Proc4[A0,A1,A2,A3]
	redef fun call(a0,a1,a2,a3) is intern
end
universal FunRef5[A0,A1,A2,A3,A4,RESULT]
	super Fun5[A0,A1,A2,A3,A4,RESULT]
	redef fun call(a0,a1,a2,a3,a4): RESULT is intern
end
universal ProcRef5[A0,A1,A2,A3,A4]
	super Proc5[A0,A1,A2,A3,A4]
	redef fun call(a0,a1,a2,a3,a4) is intern
end
universal FunRef6[A0,A1,A2,A3,A4,A5,RESULT]
	super Fun6[A0,A1,A2,A3,A4,A5,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5): RESULT is intern
end
universal ProcRef6[A0,A1,A2,A3,A4,A5]
	super Proc6[A0,A1,A2,A3,A4,A5]
	redef fun call(a0,a1,a2,a3,a4,a5) is intern
end
universal FunRef7[A0,A1,A2,A3,A4,A5,A6,RESULT]
	super Fun7[A0,A1,A2,A3,A4,A5,A6,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6): RESULT is intern
end
universal ProcRef7[A0,A1,A2,A3,A4,A5,A6]
	super Proc7[A0,A1,A2,A3,A4,A5,A6]
	redef fun call(a0,a1,a2,a3,a4,a5,a6) is intern
end
universal FunRef8[A0,A1,A2,A3,A4,A5,A6,A7,RESULT]
	super Fun8[A0,A1,A2,A3,A4,A5,A6,A7,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7): RESULT is intern
end
universal ProcRef8[A0,A1,A2,A3,A4,A5,A6,A7]
	super Proc8[A0,A1,A2,A3,A4,A5,A6,A7]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7) is intern
end
universal FunRef9[A0,A1,A2,A3,A4,A5,A6,A7,A8,RESULT]
	super Fun9[A0,A1,A2,A3,A4,A5,A6,A7,A8,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8): RESULT is intern
end
universal ProcRef9[A0,A1,A2,A3,A4,A5,A6,A7,A8]
	super Proc9[A0,A1,A2,A3,A4,A5,A6,A7,A8]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8) is intern
end
universal FunRef10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,RESULT]
	super Fun10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9): RESULT is intern
end
universal ProcRef10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9]
	super Proc10[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9) is intern
end
universal FunRef11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,RESULT]
	super Fun11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10): RESULT is intern
end
universal ProcRef11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10]
	super Proc11[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10) is intern
end
universal FunRef12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,RESULT]
	super Fun12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11): RESULT is intern
end
universal ProcRef12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11]
	super Proc12[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11) is intern
end
universal FunRef13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,RESULT]
	super Fun13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12): RESULT is intern
end
universal ProcRef13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12]
	super Proc13[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12) is intern
end
universal FunRef14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,RESULT]
	super Fun14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13): RESULT is intern
end
universal ProcRef14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13]
	super Proc14[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13) is intern
end
universal FunRef15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,RESULT]
	super Fun15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14): RESULT is intern
end
universal ProcRef15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14]
	super Proc15[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14) is intern
end
universal FunRef16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,RESULT]
	super Fun16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15): RESULT is intern
end
universal ProcRef16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15]
	super Proc16[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15) is intern
end
universal FunRef17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,RESULT]
	super Fun17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15,a16): RESULT is intern
end
universal ProcRef17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16]
	super Proc17[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15,a16) is intern
end
universal FunRef18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,RESULT]
	super Fun18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15,a16,a17): RESULT is intern
end
universal ProcRef18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17]
	super Proc18[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15,a16,a17) is intern
end
universal FunRef19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18,RESULT]
	super Fun19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18,RESULT]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15,a16,a17,a18): RESULT is intern
end
universal ProcRef19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18]
	super Proc19[A0,A1,A2,A3,A4,A5,A6,A7,A8,A9,A10,A11,A12,A13,A14,A15,A16,A17,A18]
	redef fun call(a0,a1,a2,a3,a4,a5,a6,a7,a8,a9,a10,a11,a12,a13,a14,a15,a16,a17,a18) is intern
end
universal RoutineRef
end
lib/functional/functional_types.nit:15,1--350,3
Nit tools. Version .