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