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

Map a term to a range.