p3b-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/p3b-nested.aup

blob: 105da0a66e95d61cb2c522717ab29f0da7f62f61 (plain)

record Point {
  x = 0
  y = 0
}
record Box {
  at: Point
}
state boxes: list of Box