Module type Cil_datatype.S_with_pretty

module type S_with_pretty = sig .. end

Auxiliary module for datatypes that can be pretty-printed. For those that do not have this signature, module Printer must be used.


include S