module Printer_domain: sig .. end
sig
end
An abstract domain built on top of the Simpler_domains.Simple_Cvalue interface that just prints the transfer functions called by the engine during an analysis.
include Abstract_domain.Leaf