edit command pretty-prints defnitions for the editor