cprover
nonstd/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup nonstd nonstd
3 
4 # Folder nonstd
5 
6 `nonstd` contains implementations of C++ utilities that are not yet
7 part of the standard library, e.g. for `optional`.