Solution to Exercise 4.33 #880
Description
function an_integer_between(low, high) { require(low <= high); return amb(low, an_integer_between(low+1, high)); }{{ message }}
function an_integer_between(low, high) { require(low <= high); return amb(low, an_integer_between(low+1, high)); }