let
is_empty_pre_post__ pp =
Array
.fold_left
(
fun
isempty value
->
isempty
&&
not value)
true
pp