- 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.
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.