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