let merge_property f w1 w2 = { bindings=D.closed ; property=f (D.close w1.bindings w1.property) (D.close w2.bindings w2.property) ; }