[slime-devel] SLIME Edit Definition