Function smt2::compile_sort

pub fn compile_sort<E: Compiler>(
    env: &E, 
    sort: &Located<Sort>
) -> Result<GroundSort<E::Sort>, E> where
    <E as Environment>::Function: Function<E>,