Typ
Space representing the set of all values of a type
- Value Params
- decomposed:
does the space result from decomposition? Used for pretty print
- tp:
the type this space represents
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