sig
  val evapp_label : Abstract.eva_label -> unit
  val evapp_llabel : Abstract.eva_llabel -> unit
  val evapp_type : Abstract.eva_type -> unit
  val evapp_ltype : Abstract.eva_ltype -> unit
  val evapp_scope : Abstract.eva_scope -> unit
  val evapp_lscope : Abstract.eva_lscope -> unit
  val evapp_id : Abstract.eva_id -> unit
  val evapp_lid : Abstract.eva_lid -> unit
  val evapp_value : Abstract.eva_value -> unit
  val evapp_lvalue : Abstract.eva_lvalue -> unit
  val evapp_term : Abstract.eva_term -> unit
  val evapp_lterm : Abstract.eva_lterm -> unit
  val evapp_dcl : Abstract.eva_dcl -> unit
  val evapp_ldcl : Abstract.eva_ldcl -> unit
  val evapp_instr : Abstract.eva_instr -> unit
  val evapp_linstr : Abstract.eva_linstr -> unit
  val evapp_protocol : Abstract.eva_protocol -> unit
  val evapp_lprotocol : Abstract.eva_lprotocol -> unit
  val evapp_session : Abstract.eva_session -> unit
  val evapp_lsession : Abstract.eva_lsession -> unit
  val evapp_atom : Abstract.eva_atom -> unit
  val evapp_latom : Abstract.eva_latom -> unit
  val evapp_statement : Abstract.eva_statement -> unit
  val evapp_lstatement : Abstract.eva_lstatement -> unit
  val evapp_spec : Abstract.eva_spec -> unit
end