chickadee » nondeterminism » all-values

(all-values . body)syntax

Execute a nondeterministic computation and produce a list of all of its possible outputs.