package logtk

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

Return the subterm at the given position, or

val lit_at : t -> Position.t -> Literal.t * Position.t

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

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

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

val idx : Position.t -> int

Index in the literal array

val tail : Position.t -> Position.t

sub-position

val cut : Position.t -> int * Position.t

Index + literal position