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