tvm_tirx::sym::int_set

Function neg_inf

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

The symbolic negative infinity (sym.NegInf).