informal type specification的意思|示意
美 / inˈfɔ:məl taip ˌspesifiˈkeiʃən /
英 / ɪnˈfɔrməl taɪp ˌspɛsəfɪˈkeʃən /
[计] 非形式类型描述