Function infinity_at

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

infinity at loc.