cprover
num_bitst< 1 > Struct Reference

#include <small_map.h>

Static Public Attributes

static const std::size_t value = 1
 

Detailed Description

Definition at line 40 of file small_map.h.

Member Data Documentation

◆ value

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

Definition at line 42 of file small_map.h.


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