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