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