I guess the conservative union type is the set of ...
# development
f
I guess the conservative union type is the set of all types in the symbol table