shrink.list: Shrink a list by edging towards the empty list.

View source: R/shrink.R

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


hedgehog documentation built on Nov. 6, 2025, 1:11 a.m.