Function min_value_at

pub fn min_value_at(
    ty: impl Into<PrimType>,
    loc: impl Into<Location>,
) -> Result<Expr>

min_value at loc.