Function smt2::compile_sort_ref

pub fn compile_sort_ref<E: Compiler>(
    env: &E, 
    sort: &Located<Sort>, 
    sort_parameters: &Vec<E::Ident>
) -> Result<AbstractGroundSort<Located<E::Ident>>, E> where
    <E as Environment>::Function: Function<E>,