shrink.listR Documentation

Shrink a list by edging towards the empty list.

Description

Shrink a list by edging towards the empty list.

Usage

shrink.list(xs)

Arguments

xs

the list to shrink