The functions in NON-DET provide useful functions for nondeterministic programs, as introduced in section 4.3 Nondeterministic computing of the textbook Structure and Interpretation of Computer Programs, JavaScript Adaptation (SICP JS).
On the right, you see all predeclared NON-DET functions, in alphabetical order. Click on a name to see how it is defined and used.