best-oil-18906
04/08/2024, 9:04 AMgentle-tomato-480
04/08/2024, 9:15 AMa
?best-oil-18906
04/08/2024, 9:16 AMgentle-tomato-480
04/08/2024, 9:25 AM[ A_obj.a for A_obj in A_list]
should get you your list of `a`s, right?gentle-tomato-480
04/08/2024, 9:25 AMA_list
is some List[A]
best-oil-18906
04/08/2024, 11:04 AMgentle-tomato-480
04/08/2024, 11:13 AM