Module S.Pos

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