let
empty =
NoAssigns
, {
bindings =
D
.closed ;
instances = [] ;
property =
F
.p_true ;
}