chickadee » nondeterminism » local-one-value

(one-value . bodysyntax
(local-one-value . body)syntax

Execute a nondeterministic computation, return one output, and discard the rest of the computation.