Variable foldConst

Type declaration

• • <T>(algebra: Algebra<Seed.Free, T>): <S extends Seed.Fixpoint>(term: S) => T

  • Type Parameters

    • T

    Parameters

    • algebra: Algebra<Seed.Free, T>

    Returns <S extends Seed.Fixpoint>(term: S) => T