Function smt2::compile_ident

pub fn compile_ident<E: Compiler>(
    env: &E, 
    id: &Located<Ident>
) -> Result<E::Ident, E> where
    <E as Environment>::Function: Function<E>,