pub fn mul() -> TypedBinOp