sig
  val d_binop : (Format.formatter -> Cil_types.binop -> unit) Pervasives.ref
  val d_relation :
    (Format.formatter -> Cil_types.relation -> 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 :
    (Format.formatter -> Cil_types.rooted_code_annotation -> 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