// SPDX-License-Identifier: Apache-2.0
GrB_Info GB (_red)
(
    GB_atype_parameter *result,
    const GrB_Matrix A,
    GB_void *restrict W_space,
    bool *restrict F,
    int ntasks,
    int nthreads
) ;