[−][src]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>,