[][src]Function moore_svlog::value::make_int

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.