detail::make_voidt< typest > Struct Template Reference

#include <type_traits.h>

Public Types
using	type = void

Detailed Description

template<typename... typest>
struct detail::make_voidt< typest >

Definition at line 17 of file type_traits.h.

Member Typedef Documentation

type

template<typename... typest>

using detail::make_voidt< typest >::type = void

Definition at line 19 of file type_traits.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/smt2_incremental/type_traits.h