let pp_arith = function | Add -> "Add" | Sub -> "Sub" | Prod -> "Prod" | Div -> "Div" | Mod -> "Mod" | Neg -> "Neg" | Pow -> "Pow"