p3-nested.aup « probes « 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/p3-nested.aup

blob: c80a3435591165261718259681eef64cbb053cd0 (plain)

record Node {
  name = ""
  children: list of Node
}
state root: list of Node