diff options
Diffstat (limited to 'research/experiments/044-specs/probes-027/p6-variant.aup')
| -rw-r--r-- | research/experiments/044-specs/probes-027/p6-variant.aup | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/research/experiments/044-specs/probes-027/p6-variant.aup b/research/experiments/044-specs/probes-027/p6-variant.aup new file mode 100644 index 0000000..606b698 --- /dev/null +++ b/research/experiments/044-specs/probes-027/p6-variant.aup @@ -0,0 +1,8 @@ +record Leaf { + v = 0 +} +variant X { + leaf(Leaf) + word(text) +} +state x: X |