module Debugpp: sig end
Dump specifications in abstract syntax for
debugging puposes.
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