Module Clause_intf.S.Pos

module Pos: sig .. end

val at : Clause_intf.S.t -> Logtk.Position.t -> Logtk.Term.t