类型: type; mold; form; cut◇类型论 theory of types; 类型语句 [计算机] type statements
推: 动词1.(向外用力使物体移动) push; shove 短语和例子把门推开 push [shove] the door open; 推铅球 put the shot [weight]; 顺水推舟 push the boat along with the current; 他把我从房间里推了出来。 he shoved me back out of the room.2.(磨或