非形式类型描述的英文翻译

英文翻译：【计】 informal type specification