Module PulseOperations.Closures
val check_captured_addresses : IBase.Location.t -> PulseBasicInterface.AbstractValue.t -> t -> (t, PulseBasicInterface.Diagnostic.t * t) IStdlib.IStd.result
assert the validity of the addresses captured by the lambda