sig
val d_binop : (Format.formatter -> Cil_types.binop -> unit) Pervasives.ref
val d_ident : (Format.formatter -> string -> unit) Pervasives.ref
val d_exp : (Format.formatter -> Cil_types.exp -> unit) Pervasives.ref
val d_var : (Format.formatter -> Cil_types.varinfo -> unit) Pervasives.ref
val d_type : (Format.formatter -> Cil_types.typ -> unit) Pervasives.ref
val d_lval : (Format.formatter -> Cil_types.lval -> unit) Pervasives.ref
val d_offset :
(Format.formatter -> Cil_types.offset -> unit) Pervasives.ref
val d_init : (Format.formatter -> Cil_types.init -> unit) Pervasives.ref
val d_attr :
(Format.formatter -> Cil_types.attribute -> unit) Pervasives.ref
val d_attrparam :
(Format.formatter -> Cil_types.attrparam -> unit) Pervasives.ref
val d_attrlist :
(Format.formatter -> Cil_types.attributes -> unit) Pervasives.ref
val d_instr : (Format.formatter -> Cil_types.instr -> unit) Pervasives.ref
val d_label : (Format.formatter -> Cil_types.label -> unit) Pervasives.ref
val d_stmt : (Format.formatter -> Cil_types.stmt -> unit) Pervasives.ref
val d_block : (Format.formatter -> Cil_types.block -> unit) Pervasives.ref
val d_global :
(Format.formatter -> Cil_types.global -> unit) Pervasives.ref
val d_term_lval :
(Format.formatter -> Cil_types.term_lval -> unit) Pervasives.ref
val d_logic_var :
(Format.formatter -> Cil_types.logic_var -> unit) Pervasives.ref
val d_logic_type :
(Format.formatter -> Cil_types.logic_type -> unit) Pervasives.ref
val d_term : (Format.formatter -> Cil_types.term -> unit) Pervasives.ref
val d_term_offset :
(Format.formatter -> Cil_types.term_offset -> unit) Pervasives.ref
val d_predicate_named :
(Format.formatter -> Cil_types.predicate Cil_types.named -> unit)
Pervasives.ref
val d_code_annotation :
(Format.formatter -> Cil_types.code_annotation -> unit) Pervasives.ref
val d_rooted_code_annotation_before_after :
(Format.formatter ->
Db_types.rooted_code_annotation Db_types.before_after -> unit)
Pervasives.ref
val d_funspec :
(Format.formatter -> Cil_types.funspec -> unit) Pervasives.ref
val d_annotation :
(Format.formatter -> Cil_types.global_annotation -> unit) Pervasives.ref
val d_file : (Format.formatter -> Cil_types.file -> unit) Pervasives.ref
end