sig
  val at : Literals.t -> Libzipperposition.Position.t -> Literals.term
  val lit_at :
    Literals.t ->
    Libzipperposition.Position.t -> Literal.t * Libzipperposition.Position.t
  val replace :
    Literals.t -> at:Libzipperposition.Position.t -> by:Literals.term -> unit
  val idx : Libzipperposition.Position.t -> int
  val tail : Libzipperposition.Position.t -> Libzipperposition.Position.t
  val cut :
    Libzipperposition.Position.t -> int * Libzipperposition.Position.t
end