Function moore_svlog::value::make_int_special

pub fn make_int_special(
    ty: Type, 
    value: BigInt, 
    special_bits: BitVec, 
    x_bits: BitVec
) -> ValueData

Create a new integer value with special bits.

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