pub fn uint_ty(uty: UintTy) -> UintTy