= [ n n 1- seq exchange seq quot n 1- insert ] unless ] unless ; inline recursive PRIVATE> : insertion-sort ( seq quot -- ) ! quot is a transformation on elements over length [ insert ] with with each ; inline