sig
val
for_all_in : int
->
int
->
(int
->
bool)
->
bool
end