let
set_col t k =
let
ans = {t
with
col =
Some
k}
in
assert_well_formed ans; ans