bitvector.h

Go to the documentation of this file.

#include <util/irep/type.h>
 
unsigned bv_width(const typet &type);