Variable identity`Const`

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

Type declaration

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