let of_string s : unk t = of_segs (segs_of_string s)