let inspect_ast_arith (op : Ast.arith) = match op with | Add -> "Add" | Sub -> "Sub" | Prod -> "Prod" | Div -> "Div" | Mod -> "Mod" | Neg -> "Neg" | Pow -> "Pow"