chickadee » amb » amb-thunks

amb-thunks THUNKSprocedure

The backend of amb.

amb wraps all its parameters into thunks and passes a list of them into this procedure, amb/random shuffles the list first.