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