Variable unfold`Const`

unfold: <T>(
coalgebra: Coalgebra<t.Free, T>,
) => <S extends t_Schema<t_LowerBound<unknown>>>(expr: S) => t.F<T> = ...

Type declaration

- <T>(
  coalgebra: Coalgebra<t.Free, T>,
  ): <S extends t_Schema<t_LowerBound<unknown>>>(expr: S) => t.F<T>
- Type Parameters
  - T
  Parameters
  - coalgebra: Coalgebra<t.Free, T>
  Returns <S extends t_Schema<t_LowerBound<unknown>>>(expr: S) => t.F<T>