The names run_cases gives the subtests of cases: the entry's values, without /, shortened,
repeats numbered. In temporary storage.
- cases: the entries to name.
- body: the procedure they are passed to.
case_names :: (cases: [] $T, body: $B) -> [] string
The names run_cases gives the subtests of cases: the entry's values, without /, shortened,
repeats numbered. In temporary storage.
Parameters
- cases: [] $T
- the entries to name.
- body: $B
- the procedure they are passed to.
Returns
- [] string