Reasoning with function signatures - Gabriel Aubut-Lussier - CppCon 2020 | CppCon | Podwise