let
col_exn t =
match
t.col
with
Some
s
->
s
|
None
->
raise
Undefined