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`.
README.md
Generated by
1.8.14