Module tptp::position[][src]

Line/column reporting.

Structs

Position

A line/column pair representing a position within an ASCII iterator