Variable foldConst

Type declaration

• • <T>(
        algebra: Algebra<t.Free, T>,
    ): <S extends t_Schema<t_LowerBound<unknown>>>(term: S) => T

  • Type Parameters

    • T

    Parameters

    • algebra: Algebra<t.Free, T>

    Returns <S extends t_Schema<t_LowerBound<unknown>>>(term: S) => T