Function smt2::compile_function

pub fn compile_function<E: Compiler>(
    env: &E, 
    id: &E::Ident, 
    loc: &Span
) -> Result<E::Function, E> where
    <E as Environment>::Function: Function<E>,