The TCPLS API should expose only tcpls_[*]_t types; either typedef of corresponding ptls type, or wrapper over ptls_[*]_t (case by case).