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