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