sig
  val at :
    Clause_intf.S.t ->
    Libzipperposition.Position.t -> Libzipperposition.FOTerm.t
end