let rec is_in_vi_list name = function | [] -> false | vi :: _ when name=vi.vname-> true | _ :: l -> is_in_vi_list name l