sig
  val debugpp_label : Abstract.eva_label -> unit
  val debugpp_llabel : Abstract.eva_llabel -> unit
  val debugpp_type : Abstract.eva_type -> unit
  val debugpp_ltype : Abstract.eva_ltype -> unit
  val debugpp_scope : Abstract.eva_scope -> unit
  val debugpp_lscope : Abstract.eva_lscope -> unit
  val debugpp_id : Abstract.eva_id -> unit
  val debugpp_lid : Abstract.eva_lid -> unit
  val debugpp_value : Abstract.eva_value -> unit
  val debugpp_lvalue : Abstract.eva_lvalue -> unit
  val debugpp_term : Abstract.eva_term -> unit
  val debugpp_lterm : Abstract.eva_lterm -> unit
  val debugpp_dcl : Abstract.eva_dcl -> unit
  val debugpp_ldcl : Abstract.eva_ldcl -> unit
  val debugpp_instr : Abstract.eva_instr -> unit
  val debugpp_linstr : Abstract.eva_linstr -> unit
  val debugpp_protocol : Abstract.eva_protocol -> unit
  val debugpp_lprotocol : Abstract.eva_lprotocol -> unit
  val debugpp_session : Abstract.eva_session -> unit
  val debugpp_lsession : Abstract.eva_lsession -> unit
  val debugpp_atom : Abstract.eva_atom -> unit
  val debugpp_latom : Abstract.eva_latom -> unit
  val debugpp_statement : Abstract.eva_statement -> unit
  val debugpp_lstatement : Abstract.eva_lstatement -> unit
  val debugpp_spec : Abstract.eva_spec -> unit
  val dump_symbollist : Symbols.eva_symbol_list -> unit
end