p6-variant.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/p6-variant.aup

blob: 606b698625238341a80ec3de3b17294e5584113b (plain)

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