Any person with service as a judge of a district court who assumes the office of circuit judge or as a justice of the Supreme Court or judge of a court of appeals shall be entitled to receive creditable service for such time served as judge of a district or county court for inclusion toward retirement under Title 12, Chapter 18, Articles 1 and 2.