MinimalArguments

FiniteCombinatoryLogic

MinimalPathSet

SubtypeEnvironment

Minimizable

types SubtypeEnvironment

merge

Kinding NonEmptyKinding NonEmptyTaxonomy Taxonomy

minimize

MinimalArguments Minimizable MinimalPathSet