Function moore_svlog::value::make_int_special[−][src]

pub fn make_int_special<'a>(
    ty: &'a UnpackedType<'a>, 
    value: BigInt, 
    special_bits: BitVec, 
    x_bits: BitVec
) -> ValueData<'a>

Expand description

Create a new integer value with special bits.

Panics if ty is not an integer type. Truncates the value to ty.