chickadee » amb » amb-thunks-shuffled

amb-thunks-shuffled THUNKSprocedure

The backend of amb/random.

As amb-thunks, but after shuffling the THUNKS, using the (amb-random-function).