sig
  val at : Cut_form.t -> Logtk.Position.t -> Cut_form.term
  val lit_at :
    Cut_form.t -> Logtk.Position.t -> Logtk.Literal.t * Logtk.Position.t
  val clause_at :
    Cut_form.t -> Logtk.Position.t -> Cut_form.clause * Logtk.Position.t
  val replace :
    Cut_form.t -> at:Logtk.Position.t -> by:Cut_form.term -> Cut_form.t
  val replace_many :
    Cut_form.t -> Cut_form.term Logtk.Position.Map.t -> Cut_form.t
end