FeatCore.BigIntSig
module type BASIC = sig ... end
module type EXTENDED = sig ... end
An extended signature for big numbers, providing more functionality. This signature is required by RandomBigInt
and by the modules that depend on it, such as IFSeq
.