pub fn show_binary_op<F>(f: &mut F, op: &BinaryOp)where
    F: Write,