Module Literals.View
val get_eqn : t -> Position.t -> (term * term * bool) optionget 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 optionval get_rat : t -> Position.t -> Rat_lit.Focus.t option
val get_eqn_exn : t -> Position.t -> term * term * boolval get_arith_exn : t -> Position.t -> Int_lit.Focus.tval get_rat_exn : t -> Position.t -> Rat_lit.Focus.t