Module `PulseOperations.Closures`

val check_captured_addresses : IBase.Location.t -> PulseBasicInterface.AbstractValue.t -> t -> t PulseDomainInterface.AccessResult.t: assert the validity of the addresses captured by the lambda