The main documentation of the Initialized_Overlapped_Vector Procedure contains additional explanation of this code listing.
function Initialized_Overlapped_Vector (OV) result(Initialized) ! Use associations. use Caesar_Flags_Module, only: initialized_flag ! Input variable. ! Overlapped_Vector to be checked. type(Overlapped_Vector_type), intent(in) :: OV ! Output variable. type(logical) :: Initialized ! Initialized condition boolean. !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ! Verify requirements - none. ! Set initialized boolean. Initialized = OV%Initialized == initialized_flag ! Verify guarantees - none. return end function Initialized_Overlapped_Vector