let get = function
    | Pp(op), _ -> op
    | _ -> raise Not_found