Empty space
Union of spaces
Space representing an extractor pattern
space definition
Scala implementation of space logic
abstract space logic
Space representing the set of all values of a type
does the space result from decomposition? Used for pretty print
the type this space represents
