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