chickadee » nondeterminism » all-values

Identifier search

(all-values . body)syntax: Execute a nondeterministic computation and produce a list of all of its possible outputs.