Variable fold`Const`

fold: <T>(
g: (src: F<T>, ix: F.Index, x: F<Fixpoint>) => T,
) => (src: F<T>, ix?: F.Index) => T = ...

Type declaration

- <T>(
  g: (src: F<T>, ix: F.Index, x: F<Fixpoint>) => T,
  ): (src: F<T>, ix?: F.Index) => T
- Type Parameters
  - T
  Parameters
  - g: (src: F<T>, ix: F.Index, x: F<Fixpoint>) => T
  Returns (src: F<T>, ix?: F.Index) => T