let
close_env env p =
D
.forall
(
List
.map (
fun
(_,(f,_))
->
f) !env) p