Removed unused typedef result_type