Up
Next
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