- mapping-unfold/ordered stop? mapper successor seed comparatorprocedure
These are the same as mapping and mapping-unfold, except that it is an error if the keys are not in order, and they may be more efficient.
These are the same as mapping and mapping-unfold, except that it is an error if the keys are not in order, and they may be more efficient.