let array_format arr = F.e_app0 (Aformat.get_definition arr).d_name