3 commits

Author	SHA1	Message	Date
John Ericson	f4ab297b31	Ensure all headers have #pragma once and are in API docs ... `///@file` makes them show up in the internal API dos. A tiny few were missing `#pragma once`.	2023-03-31 23:19:44 -04:00
John Ericson	abd5e7dec0	Extend internal API docs, part 2 ... Picking up from #8111. Co-authored-by: Eelco Dolstra <edolstra@gmail.com>	2023-03-31 23:01:40 -04:00
Eelco Dolstra	d51ba43047	Move Callback into its own header ... This gets rid of the inclusion of <future> in util.hh, cutting compilation time by ~20s (CPU time). Issue #4045.	2020-09-21 18:42:21 +02:00