pub fn term_to_expr<'t, C>(
    term: Spanned<Term<'t>>,
    ctx: C
) -> Result<&'t dyn Expr2<'t>> where
    C: SessionContext + Copy + for<'a> Alloc<'a, 't, LitExpr>, 
Expand description

Map a term to a range.