let
set_file t s =
let
ans = {t
with
file =
Some
s}
in
assert_well_formed ans; ans