pub fn int_ty(ity: IntTy) -> IntTy