Module Tp
GENERATED CODE. DO NOT MODIFY.
Import path
import qtil.fn.generated.TpModules
| Tp1 | A module for transforming a “Tuple predicate” with 1 arguments. |
| Tp2 | A module for transforming a “Tuple predicate” with 2 arguments. |
| Tp3 | A module for transforming a “Tuple predicate” with 3 arguments. |
| Tp4 | A module for transforming a “Tuple predicate” with 4 arguments. |
| Tp5 | A module for transforming a “Tuple predicate” with 5 arguments. |
| Tp6 | A module for transforming a “Tuple predicate” with 6 arguments. |