T

type-checker

libpseuco is a common library for pseuCo tools. It provides the facilities and data structures to read, traverse and process pseuCo programs.