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