class visitor : Format.formatter -> Definitions.cluster ->
object
.. end
Inherits
val mutable deps : depend list
method flush : depend list
method add_dfile : string -> unit
method add_import : ?was:string -> string -> unit
method add_import2 : string -> string -> unit
method add_import3 : string -> string -> string -> unit
method on_cluster : Definitions.cluster -> unit
method add_extlib : string -> unit
method on_library : string -> unit
method on_type : Cil_types.logic_type_info -> Definitions.typedef -> unit
method on_comp : Cil_types.compinfo -> (Lang.field * Lang.F.tau) list -> unit
method on_dlemma : Definitions.dlemma -> unit
method on_dfun : Definitions.dfun -> unit