package logtk

  1. Overview
  2. Docs
package logtk
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module InnerTerm.PosSource

Sourceval at : t -> Position.t -> t

retrieve subterm at pos, or raise Invalid_argument

Sourceval replace : t -> Position.t -> by:t -> t

replace t|_p by the second term