Function smt2::compile

pub fn compile<E: Compiler>(
    env: &E, 
    cmd: &Located<Command>
) -> Result<Command<E>, E> where
    <E as Environment>::Function: Function<E>,