| [TOC](Readme.md) [Prev](defaults.md) [Next](numbers.md) |
| |
| _Types ~~and~~ are Values_ |
| |
| # Disjunctions of Structs |
| |
| Disjunctions work for any type. |
| |
| In this example we see that a `floor` of some specific house |
| has an exit on level 0 and 1, but not on any other floor. |
| |
| <!-- CUE editor --> |
| _sumstruct.cue:_ |
| ``` |
| // floor defines the specs of a floor in some house. |
| floor: { |
| level: int // the level on which this floor resides |
| hasExit: bool // is there a door to exit the house? |
| } |
| |
| // constraints on the possible values of floor. |
| floor: { |
| level: 0 | 1 |
| hasExit: true |
| } | { |
| level: -1 | 2 | 3 |
| hasExit: false |
| } |
| ``` |
