finite type的意思|示意
美 / ˈfainait taip /
英 / ˈfaɪˌnaɪt taɪp /
有限型