method
private
call () =
Stack
.iter (
fun
x
->
x :=
true
) has_call