Type Alias IndexedAlgebra<Ix, T>

IndexedAlgebra: (x: JsonSchema.F<T>, ix: Ix, input: Fixpoint) => T

Type Parameters

Ix
T

Type declaration

- (x: JsonSchema.F<T>, ix: Ix, input: Fixpoint): T
- Parameters
  - x: JsonSchema.F<T>
  - ix: Ix
  - input: Fixpoint
  Returns T