let fi_type fi = match fi.T.fi_def with | Some _f -> if M.fi_has_persistent_selection fi then PersistSelect else Other | None -> Undef