Function smt2::compile_sorted_var

pub fn compile_sorted_var<E: Compiler>(
    env: &E, 
    var: &Located<SortedVar>
) -> Result<SortedVar<E>, E> where
    <E as Environment>::Function: Function<E>,