detail::always_falset< T > Struct Template Reference

#include <invariant.h>

Inheritance diagram for detail::always_falset< T >:

Collaboration diagram for detail::always_falset< T >:

Detailed Description

template<typename T>
struct detail::always_falset< T >

Definition at line 289 of file invariant.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/util/invariant.h