cprover
boundst Struct Reference

Public Attributes

std::size_t lb
 
std::size_t ub
 

Detailed Description

Definition at line 65 of file byte_operators.cpp.

Member Data Documentation

◆ lb

std::size_t boundst::lb

Definition at line 67 of file byte_operators.cpp.

◆ ub

std::size_t boundst::ub

Definition at line 68 of file byte_operators.cpp.


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