Function min

pub fn min(a: impl Operand, b: impl Operand) -> Result<Expr>

The smaller of a and b; a symbolic infinity on either side decides it (C++ min, prim._OpMin).