4 lines
267 B
Text
4 lines
267 B
Text
This package provides a data type These a b which can hold a value of
|
|
either type or values of each type. This is usually thought of as an
|
|
"inclusive or" type (contrasting Either a b as "exclusive or") or as
|
|
an "outer join" type (contrasting (a, b) as "inner join").
|