dhall-1.42.3: tests/diff/withB.dhall

λ(r : { a : Natural }) → r with b.c.d = 3