Module Slot_repr.Range

An ordered range of slots, in increasing order.

create ~min ~count creates a full slot range starting at min, of size count, i.e, min, min + count - 1.

create errors if

• min < 0
• count < 1
• min + count - 1 > max_value

fold f acc range folds f over the values of range, in increasing order.

fold_es f acc range folds f over the values of range, in increasing order.

rev_fold_es f acc range folds f over the values of range, in decreasing order.