The main documentation of the Set_Version_Assembled_Vector Procedure contains additional explanation of this code listing.
subroutine Set_Version_Assembled_Vector (AV, Version) ! Input variable. type(integer), intent(in) :: Version ! Version number. ! Input/Output variable. type(Assembled_Vector_type), intent(inout) :: AV ! Variable to be set. !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ! Verify requirements. VERIFY(Valid_State(AV),5) ! AV is valid. ! Set the value. AV%Version = Version ! Verify guarantees - none. return end subroutine Set_Version_Assembled_Vector