method updatedBy (e:(('a,'b) env)) : (('a,'b) env) = List.iter (self#add) (e#get_l); (self :> (('a,'b) env))