Type Alias libpatron::ir::BVLiteralInt

source · 
pub type BVLiteralInt = u64;
Expand description

This restricts the maximum value that a bit-vector literal can carry.