package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Library
Module
Module type
Parameter
Class
Class type
val at : t -> LogtkPosition.t -> t

retrieve subterm at pos

  • raises Invalid_argument

    if the position is invalid

val replace : t -> LogtkPosition.t -> by:t -> t

replace t pos ~by replaces the subterm at position pos in t by the term by. The two terms should have the same type.

  • raises Invalid_argument

    if the position is not valid

val at_cpos : t -> int -> t

retrieve subterm at the compact pos, or raise Invalid_argument

val max_cpos : t -> int

maximum compact position in the term