Up
–
feat-core
»
FeatCore
» RandomBigInt
Module
FeatCore.RandomBigInt
module
Make
(
Z
:
BigIntSig.EXTENDED
) (
R
:
RandomSig.S
) :
sig
...
end