moore_svlog::value
pub fn make_int(ty: Type, value: BigInt) -> ValueData
Create a new integer value.
Panics if ty is not an integer type. Truncates the value to ty.
ty