海词手机词典
  • Is a partial application that adapts the binary multiplication to be a unary closure by using a constant second operand.

    播放读音 播放读音