formal type model的意思|示意
美 / ˈfɔ:məl taip ˈmɔdəl /
英 / ˈfɔrməl taɪp ˈmɑdl /
形式类模型