titus.util.pos¶

titus.util.pos(dot, at)[source]¶

Create a human-readable position of a PFA element in a JSON file.