let exp_inverse = function
  | Pos -> Neg
  | Neg -> Pos