Function smt2::compile_sort_declaration

pub fn compile_sort_declaration<E: Compiler>(
    env: &E, 
    decl: &Located<SortDeclaration>
) -> Result<SortDeclaration<E>, E> where
    <E as Environment>::Function: Function<E>,