5 U.S. Code § 5519
5.U.S. Code § 5519 is about Crediting amounts received for certain Reserve or National Guard service. It is under Part 3 (Employees) Subpart D (Pay and Allowances) Subchapter 2 (Withholding Pay) Chapter 55 (Pay Administration) of Title 5 (Government Organizations and Employees) of the Code.
An amount (other than a travel, transportation, or per diem allowance) received by an employee or individual for military service as a member of the Reserve or National Guard for a period for which he is granted military leave under section 6323(b) shall be credited against the pay payable to the employee or individual with respect to his civilian position for that period.