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