/// Create a new integer type.
Create a new integer type.
Create a new integer type .
pub fn new(dir: Dir, left_bound: BigInt, right_bound: BigInt) -> IntTy {
        IntTy {
            dir: dir,
            left_bound: left_bound,
            right_bound: right_bound,
        }
    }
pub fn new ( dir : Dir , left_bound : BigInt , right_bound : BigInt ) -> IntTy { IntTy { dir : dir , left_bound : left_bound , right_bound : right_bound , } }
Create a new integer type.
Create a new integer type .
dir
Dir
left_bound
BigInt
right_bound
BigInt