Module Types
GENERATE CODE. DO NOT MODIFY.
Import path
import qtil.fn.generated.TypesModules
| FnType0 | A module to define the signature of a “Function” with 0 arguments, and a result. |
| FnType1 | A module to define the signature of a “Function” with 1 arguments, and a result. |
| FnType2 | A module to define the signature of a “Function” with 2 arguments, and a result. |
| FnType3 | A module to define the signature of a “Function” with 3 arguments, and a result. |
| FnType4 | A module to define the signature of a “Function” with 4 arguments, and a result. |
| FnType5 | A module to define the signature of a “Function” with 5 arguments, and a result. |
| FnType6 | A module to define the signature of a “Function” with 6 arguments, and a result. |
| FnType7 | A module to define the signature of a “Function” with 7 arguments, and a result. |
| PropType1 | A module to define the signature of a “Property” with 1 arguments, and a result. |
| PropType2 | A module to define the signature of a “Property” with 2 arguments, and a result. |
| PropType3 | A module to define the signature of a “Property” with 3 arguments, and a result. |
| PropType4 | A module to define the signature of a “Property” with 4 arguments, and a result. |
| PropType5 | A module to define the signature of a “Property” with 5 arguments, and a result. |
| PropType6 | A module to define the signature of a “Property” with 6 arguments, and a result. |
| PropType7 | A module to define the signature of a “Property” with 7 arguments, and a result. |
| RelType1 | A module to define the signature of a “Relation” with 1 arguments, and a result. |
| RelType2 | A module to define the signature of a “Relation” with 2 arguments, and a result. |
| RelType3 | A module to define the signature of a “Relation” with 3 arguments, and a result. |
| RelType4 | A module to define the signature of a “Relation” with 4 arguments, and a result. |
| RelType5 | A module to define the signature of a “Relation” with 5 arguments, and a result. |
| RelType6 | A module to define the signature of a “Relation” with 6 arguments, and a result. |
| RelType7 | A module to define the signature of a “Relation” with 7 arguments, and a result. |
| TpType1 | A module to define the signature of a “Tuple predicate” with 1 arguments, and a result. |
| TpType2 | A module to define the signature of a “Tuple predicate” with 2 arguments, and a result. |
| TpType3 | A module to define the signature of a “Tuple predicate” with 3 arguments, and a result. |
| TpType4 | A module to define the signature of a “Tuple predicate” with 4 arguments, and a result. |
| TpType5 | A module to define the signature of a “Tuple predicate” with 5 arguments, and a result. |
| TpType6 | A module to define the signature of a “Tuple predicate” with 6 arguments, and a result. |
| TpType7 | A module to define the signature of a “Tuple predicate” with 7 arguments, and a result. |