package feat-core

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `RandomBigInt.Make`Source

module Z : BigIntSig.EXTENDED

module R : RandomSig.S

Sourceval random : Z.t -> Z.t

random range generates a random number comprised between 0 (included) and range (excluded). range must be positive.