let pp p fmt = 
    function
      | Mult, [] ->
          Pretty.string fmt "1"
      | Mult, al ->
          Pretty.infixl p "*" fmt al