Type alias Bind<F, T>

Bind<F, T>: readonly [typeof bindNominal, Coyoneda<F, Free<F, T>>]

Bind denotes a non-terminal symbol of your language F.

Type Parameters

  • F

  • T

Generated using TypeDoc