Refactoring to make it clear which functions are user-defined 2703fdd derek-thomas commited on Nov 17, 2023