pub fn max_value(ty: impl Into<PrimType>) -> Result<Expr>
The largest value of the scalar type ty (C++ max_value, prim.max_value).
ty
max_value
prim.max_value