fn bin_op(op: BinOpKind) -> BinOp