1 2 3 4 5 6
==================== Strictness signatures ==================== T8598.$trModule: m T8598.fun: <S(S),1*U(U)>m