Module Pulselib.PulseReport

val report : _ Absint.InterproceduralAnalysis.t -> is_suppressed:bool -> latent:bool -> Pulselib.PulseDomainInterface.Diagnostic.t -> unit

None means that the execution can continue but we could not compute the continuation state (because this only takes a AccessResult.error, which doesn't have the ok state)