Module Literals.View

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_eqn_exn : t -> Position.t -> term * term * bool