Up
–
feat-core
»
FeatCore
» IFSeqObj
Module
FeatCore.IFSeqObj
module
Make
(
Z
:
BigIntSig.BASIC
) :
IFSeqSig.IFSEQ_BASIC
with
type
index
=
Z.t