Add output indexed types to option and either#171

Merged

gcanti merged 3 commits intogcanti:masterfrom mlegenhausen:index-types

Oct 10, 2022

+117-12

Commits on Oct 5, 2022

Add output indexed types to option and either
mlegenhausen
committed

Commits on Oct 10, 2022