Checkers.DisjunctiveDemo
module F = Stdlib.Format
type domain
val pp_domain : F.formatter -> domain -> unit
val checker : domain Absint.InterproceduralAnalysis.t -> domain option