pub fn min_exprs<E: AsRef<[Expr]>>(exprs: E) -> Expr