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