Function smt2::response::compile_definition

pub fn compile_definition<E: Compiler>(
    env: &E, 
    ast: &Definition
) -> Result<Definition<E>, E> where
    E::Function: Function<E>,