Links for potc-typing