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