Encodable
and Countable
instances for Π₀ i, α i
#
In this file we provide instances for Encodable (Π₀ i, α i)
and Countable (Π₀ i, α i)
.
Encodable
and Countable
instances for Π₀ i, α i
#In this file we provide instances for Encodable (Π₀ i, α i)
and Countable (Π₀ i, α i)
.