p6b-variant-field.aup « probes-027 « 044-specs « experiments « research - pure - Verified execution runtime unifying state, persistence, and replication.

about summary refs log tree commit diff stats

path: root/research/experiments/044-specs/probes-027/p6b-variant-field.aup

blob: 2b1504a70b32f3865d5b3cecd2d77b8003d67648 (plain)

record Leaf {
  v = 0
}
variant X {
  leaf(Leaf)
  word(text)
}
record Holder {
  x: X
}
state xs: list of Holder