xref: /seL4-camkes-master/tools/cogent/cogent/tests/tests/take-put/pass_put-untaken-nonlinear.cogent

f : {f1 : U8} -> {f1 : U8}
f r = let r = r{f1=3}
      and r = r{f1=4}
       in r