cprover
num_bitst< 0 > Struct Template Reference

#include <small_map.h>

Static Public Attributes

static const std::size_t value = 1
 

Detailed Description

template<>
struct num_bitst< 0 >

Definition at line 46 of file small_map.h.

Member Data Documentation

◆ value

const std::size_t num_bitst< 0 >::value = 1
static

Definition at line 48 of file small_map.h.


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