A member may retire after accumulating 20 years of credited service as defined in § 8351(3)a. of this title, or shall be retired upon reaching the age of 55 years.