Expand description
Refining based on length.
Modulesยง
- length
- Traits for types that have length defined for their values.
- predicates
- Predicates based on length.
- prelude
- The
refining-lengthprelude.
Refining based on length.
refining-length prelude.