Module `AbstractInterpreter.DisjunctiveMetadata`

used internally to compute various metrics related to MakeDisjunctive analyses; this can be queried with get_cfg_metadata below at the end of the analysis of each procedure

type t

val pp : F.formatter -> t -> unit