补: Ⅰ动词1.(修理; 修补) repair; mend; patch 短语和例子补鞋 repair [mend] shoes; 补车胎 mend a puncture; 修桥补路 build bridges and repair roads; 补漏 stop up holes; 补一补 have it repaired; 补袜子 darn socks; 补衣服 patch c
类型: type; mold; form; cut◇类型论 theory of types; 类型语句 [计算机] type statements
