4 // provide a set of typedefs for commonly used things like sizes and
5 // indices whil trying to stay compatible with typse used by the standard
9 // this probably could be improved by using <cstddef>...
15 typedef std::vector<char>::size_type size_type;
17 /// a type for positions used in paragraphs
18 // needs to be signed for a while to hold the special value -1 that is
20 typedef std::vector<char>::difference_type pos_type;
22 /// a type used for numbering layouts
23 typedef std::vector<char>::size_type layout_type;