package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val get_eqn : t -> Position.t -> (term * term * bool) option

get the term l at given position in clause, and r such that l ?= r is the Literal.t at the given position.

  • raises Invalid_argument

    if the position is not valid in the

val get_arith : t -> Position.t -> Int_lit.Focus.t option
val get_rat : t -> Position.t -> Rat_lit.Focus.t option

The following functions will raise Invalid_argument if the position is not valid or if the literal isn't what's asked for

val get_eqn_exn : t -> Position.t -> term * term * bool
val get_arith_exn : t -> Position.t -> Int_lit.Focus.t
val get_rat_exn : t -> Position.t -> Rat_lit.Focus.t