Variable toArbitrary`Const`

toArbitrary: <S extends Seed.Fixpoint>(term: S) => Arbitrary = ...

Type declaration

- <S extends Seed.Fixpoint>(term: S): Arbitrary
- Type Parameters
  - S extends Seed.Fixpoint
  Parameters
  - term: S
  Returns Arbitrary