tvm_tirx::sym::int_set

Function pos_inf

Source 
pub fn pos_inf() -> Result<Expr>
Expand description

The symbolic positive infinity (sym.PosInf).