Pt typedef

Pt = int

An alias for int, used to denote the position of a term in String indexed object (the term position).

Alias for int;

Implementation

typedef Pt = int;