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