p7-record-state.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/p7-record-state.aup

blob: ff339d28306eae3b856a6a1980b530a44eca779f (plain)

record Point {
  x = 0
  y = 0
}
state at: Point