Benoit Marty 2e8785b36b More renaming		2025-10-30 16:32:50 +01:00
..
api	Rename fun in Callback for clarity.	2025-10-30 16:32:48 +01:00
impl	More renaming	2025-10-30 16:32:50 +01:00