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