smt2

Function compile_function

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