sig
  val comma_sep : unit -> unit
  val semicol_sep : unit -> unit
  val null_sep : unit -> unit
  val newline_sep : unit -> unit
  val newline2_sep : unit -> unit
  val hornpp_id : Symbols.eva_symbol_list -> Abstract.eva_id -> unit
  val hornpp_lid : Symbols.eva_symbol_list -> Abstract.eva_lid -> unit
  val hornpp_label : Abstract.eva_label -> unit
  val hornpp_llabel : Abstract.eva_llabel -> unit
  val hornpp_type : Abstract.eva_type -> unit
  val hornpp_ltype : Abstract.eva_ltype -> unit
  val hornpp_scope : Abstract.eva_scope -> unit
  val hornpp_lscope : Abstract.eva_lscope -> unit
  val hornpp_value : Abstract.eva_value -> unit
  val hornpp_lvalue : Abstract.eva_lvalue -> unit
  val hornpp_term : Symbols.eva_symbol_list -> Abstract.eva_term -> unit
  val hornpp_lterm : Symbols.eva_symbol_list -> Abstract.eva_lterm -> unit
  val hornpp_literal :
    string -> Symbols.eva_symbol_list -> Clause.literal -> unit
  val hornpp_tclause : Symbols.eva_symbol_list -> Clause.tclause -> unit
  val hornpp_clause : Symbols.eva_symbol_list -> Clause.clause -> unit
end