Module tptp::position

source ·
Expand description

Line/column reporting

Structs

A line/column pair representing a position within a file