Module All
A module that defines the set of all values of a certain type.
This is a wrapper around Tp1, a tuple predicate that represents a set of tuples with only one
element, where the element is any value of the type.
See Tp1 for more details and the full API, which includes mapping and filtering etc.
Import path
import qtil.fn.AllImports
| Tp1<All::All::T, All::All::baseTp> | A module for transforming a “Tuple predicate” with 1 arguments. |