123456789101112(** An internal-only module factored out due to a circular dependency between core_array
and core_list. Contains code for permuting an array. *)open!ImportincludeArray0(** randomly permute an array. *)letpermute?(random_state=Random.State.default)t=fori=lengthtdownto2doswapt(i-1)(Random.State.intrandom_statei)done;;