Costlib.ControlFlowCostmodule BasicCost = CostDomain.BasicCostmodule Node = Absint.ProcCfg.DefaultNodemodule Item : sig ... endmodule Sum : sig ... endA Control-flow cost represents the number of times the flow of control can go through a certain CFG item (a node or an edge), or a sum of such things
val pp : F.formatter -> t -> unitmodule Set : sig ... end