let
get_name proj = proj.
T
.name