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