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