module Evapp: sig end
Pretty print a specification in abstract syntax into
a LAEVA concrete syntax,
with additional constructions for definition
of separate processes.
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