Pulselib.Pulse
val checker : ?specialization:(PulseSummary.t * IR.Specialization.t) -> PulseSummary.t Absint.InterproceduralAnalysis.t -> PulseSummary.t option
val is_already_specialized : IR.Specialization.t -> PulseSummary.t -> bool