## Use the module 'lineinfos' instead!

{.deprecated.}

import lineinfos
export lineinfos