Up – Package index » lrgrep » Library fix » Fix » Indexing » Prod » Make

Module `Prod.Make`Source

Parameters

module L : CARDINAL

module R : CARDINAL

Signature

Sourcetype nonrec n = (L.n, R.n) n

include CARDINAL with type n := n

Sourceval n : n cardinal

Sourceval inj : L.n index -> R.n index -> n index

Sourceval prj : n index -> L.n index * R.n index