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