Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Make
(Z : BigIntSig.EXTENDED)
(R : RandomSig.S) :
IFSeqSig.IFSEQ_EXTENDED with type index = Z.t
Make
constructs an implementation of the signature IFSeqSig.IFSEQ_EXTENDED
. It is parameterized over an implementation of big integers and a random number generator.