package libzipperposition

  1. Overview
  2. Docs
package libzipperposition
Legend:
Library
Module
Module type
Parameter
Class
Class type
val at : t -> Logtk.Position.t -> term

Return the subterm at the given position, or

Lookup which literal the position is about, return it and the rest of the position.

val clause_at : t -> Logtk.Position.t -> clause * Logtk.Position.t

Lookup which clause the position is about, return it and the rest of the position.

val replace : t -> at:Logtk.Position.t -> by:term -> t

In-place modification of the array, in which the subterm at given position is replaced by the by term.

val replace_many : t -> term Logtk.Position.Map.t -> t

In-place modification of the array, in which the subterm at given position is replaced by the by term.