SpaceLogic

Is the type tp decomposable? i.e. all values of the type can be covered by its decomposed types.

Abstract sealed class, OrType, Boolean and Java enums can be decomposed.

Whether the extractor covers the given type

Get components of decomposable types

Return a space containing the values of both types.

The types should be atomic (non-decomposable) and unrelated (neither should be a subtype of the other).

True if we can assume that the two unapply methods are the same. That is, given the same parameter, they return the same result.

We assume that unapply methods are pure, but the same method may be called with different prefixes, thus behaving differently.

Is tp1 a subtype of tp2?

Display space in string format

Return term parameter types of the extractor unapp

Remove a space if it's a subspace of remaining spaces

Note: dedup will return the same result if the sequence >= 10

Flatten space to get rid of Or for pretty print

Intersection of two spaces

Is a a subspace of b? Equivalent to a - b == Empty, but faster

The space of a not covered by b

Simplify space such that a space equal to Empty becomes Empty