package lrgrep

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

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