Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package make-random
Functors for the Random Module
This module provide functors to reproduce the interface of the standard library's Random module with other pseudo-random number generators.
module Bits : sig ... endSignatures for providers of bits.
module Sig : sig ... endOutput signatures.
Functor for the Basic Interface
module Basic30 (B : Bits.Basic30) : Sig.BasicFunctors for the Full Interface
module Full30 (B : Bits.Full30) : Sig.Fullmodule Full64 (B : Bits.Full64) : Sig.Fullmodule Full30Init64 (B : Bits.Full30Init64) : Sig.FullStandard Library's Random
Pretty useless, but allows to check that the signatures in Sig match with what is in Stdlib.Random.