Module `Generic.Random`

Custom random generator and random sizing keys.

These keys influence the Fun.Generic.random function.

module Gen : sig ... end

Custom random generator key.

module Size : sig ... end

Sizing factor alteration key.