Pulselib.PulsePp
module F = Stdlib.Format
val pp : IStdlib.Pp.print_kind -> PulsePathContext.t option -> F.formatter -> PulseAbductiveDomain.t -> unit