Abstract
Random shuffling of an array in parallel.
Synopsis
open import "lib/github.com/diku-dk/cpprandom/random" | |||||||||||
local module type shuffle = {
| |||||||||||
module mk_shuffle | : | (E: rng_engine) -> shuffle with rng = E.rng |
Random shuffling of an array in parallel.
open import "lib/github.com/diku-dk/cpprandom/random" | |||||||||||
local module type shuffle = {
| |||||||||||
module mk_shuffle | : | (E: rng_engine) -> shuffle with rng = E.rng |