Clean up and regularize the prologue of files.

Mark them for C++20, remove the old module-faking hacks, etc.
2023-02-10 08:58:29 -08:00
parent 49d53fecb6
commit fe66d726be
29 changed files with 46 additions and 23 deletions
--- a/Proof/Attestation.h
+++ b/Proof/Attestation.h
@ -1,3 +1,4 @@
+static_assert( __cplusplus > 2020'00 );
 /*!
 * @file
 * @brief The `Attestation` framework permits code which can provide limited compiletime guarantees of conditions.