接口与类型别名 #

待完善