module Cplpp: sig end
val cplpp_label : Abstract.eva_label -> unit
val cplpp_llabel : Abstract.eva_llabel -> unit
val cplpp_type : Abstract.eva_type -> unit
val cplpp_ltype : Abstract.eva_ltype -> unit
val cplpp_scope : Abstract.eva_scope -> unit
val cplpp_lscope : Abstract.eva_lscope -> unit
val cplpp_id : Abstract.eva_id -> unit
val cplpp_lid : Abstract.eva_lid -> unit
val cplpp_value : Abstract.eva_value -> unit
val cplpp_lvalue : Abstract.eva_lvalue -> unit
val cplpp_term : Abstract.eva_term -> unit
val cplpp_lterm : Abstract.eva_lterm -> unit
val cplpp_session : Abstract.eva_session -> unit
val cplpp_lsession : Abstract.eva_lsession -> unit
val cplpp_atom : Abstract.eva_atom -> unit
val cplpp_latom : Abstract.eva_latom -> unit
val cplpp_assume : Abstract.eva_statement -> unit
val cplpp_lassume : Abstract.eva_lstatement -> unit
val cplpp_claim : Abstract.eva_statement -> unit
val cplpp_lclaim : Abstract.eva_lstatement -> unit
val cplpp_spec : Abstract.eva_spec -> unit