module Pos: sig .. end
val at : Cut_form.t -> Logtk.Position.t -> Cut_form.term
Return the subterm at the given position, or
Raises Invalid_argument if the position is not valid
val lit_at : Cut_form.t -> Logtk.Position.t -> Logtk.Literal.t * Logtk.Position.t
Lookup which literal the position is about, return it
and the rest of the position.
Raises Invalid_argument if the position is not valid
val clause_at : Cut_form.t -> Logtk.Position.t -> Cut_form.clause * Logtk.Position.t
Lookup which clause the position is about, return it
and the rest of the position.
Raises Invalid_argument if the position is not valid
val replace : Cut_form.t -> at:Logtk.Position.t -> by:Cut_form.term -> Cut_form.t
In-place modification of the array, in which the subterm at given
position is replaced by the by term.
Raises Invalid_argument if the position is not valid
val replace_many : Cut_form.t -> Cut_form.term Logtk.Position.Map.t -> Cut_form.t
In-place modification of the array, in which the subterm at given
position is replaced by the by term.
Raises Invalid_argument if the position is not valid