sig
  type term = Libzipperposition.STerm.t
  type t =
      Clause of Ast_ho.term * Ast_ho.term list
    | Type of string * Ast_ho.term
  type location = Libzipperposition.ParseLocation.t
  val pp : t CCFormat.printer
  val to_string : t -> string
  module Seq :
    sig
      val terms : Ast_ho.t -> Ast_ho.term Sequence.t
      val vars : Ast_ho.t -> Libzipperposition.STerm.var Sequence.t
    end
  val app_infix :
    ?loc:Ast_ho.location ->
    string -> Ast_ho.term -> Ast_ho.term -> Ast_ho.term
end