let
set_line t k =
let
ans = {t
with
line =
Some
k}
in
assert_well_formed ans; ans