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