TcHsSyn
type TcId
type TcIdSet