let
close_ressource_views = iter_views (
fun
(v, w)
->
if
v
#
close
then
w
#
destroy ())