package lrgrep

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `Sum.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 : L.n index -> n index

Sourceval inj_r : R.n index -> n index

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