let minus_plus = function
  | Minus -> "-"
  | Plus -> "+"