Function smt2::compile_binding

pub fn compile_binding<E: Compiler>(
    env: &E, 
    ctx: &Context<'_, E>, 
    sym: &Located<Binding>
) -> Result<Binding<E>, E> where
    <E as Environment>::Function: Function<E>,