{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"///"}]}
    /// Get the maximum value of uint_ty. It is platform-dependent due to the byte size of usize
    fn uint_ty_max(&self, uint_ty: UintTy) -> u128 {