MinimalPathSet

SubtypeEnvironment

Minimizable

types SubtypeEnvironment

MultiArrow

FiniteCombinatoryLogic

merge

Kinding NonEmptyKinding NonEmptyTaxonomy Taxonomy

minimize

Minimizable MinimalPathSet