Module PulseOperations.Closures

val check_captured_addresses : IBase.Location.t -> PulseBasicInterface.AbstractValue.t -> t -> (tPulseBasicInterface.Diagnostic.t * t) IStdlib.IStd.result

assert the validity of the addresses captured by the lambda