let
iter_parent m child =
let
i = alloc_iter ()
in
if
iter_parent m i ~child
then
Some
i
else
None