Make (p.lrgrep.0.3.doc.fix.Fix.Indexing.Sum.Make)

Parameters

module L : CARDINAL

module R : CARDINAL

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

include CARDINAL with type n := n

Sourceval n : n cardinal

Sourceval inj_l : L.n index -> n index

Sourceval inj_r : R.n index -> n index

Sourceval prj : n index -> (L.n index, R.n index) either