let
opt_tname =
function
|
None
->
None
|
Some
(atype)
->
Some
(get_tname atype)