Function smt2::compile_term

pub fn compile_term<E: Compiler>(
    env: &E, 
    ctx: &Context<'_, E>, 
    term: &Located<Term>
) -> Result<Typed<Term<E>>, E> where
    <E as Environment>::Function: Function<E>,