1
2
3
4
5
6
7
8

let
  as = { x = 123; y = 456; } // { z = 789; } // { z = 987; };
in
if as ? a then
  as.a
else
  assert as ? z;
  as.z