Function smt2::compile_selector_declaration

pub fn compile_selector_declaration<E: Compiler>(
    env: &E, 
    decl: &Located<SelectorDeclaration>, 
    sort_parameters: &Vec<E::Ident>
) -> Result<UnresolvedSelectorDeclaration<E>, E> where
    <E as Environment>::Function: Function<E>,