method get_exists_list = List.map (fun e-> Base e) exists_list