Module Printer_domain

module Printer_domain: 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