package lrgrep

  1. Overview
  2. Docs
package lrgrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Prod.MakeSource

Parameters

module L : CARDINAL
module R : CARDINAL

Signature

Sourcetype nonrec n = (L.n, R.n) n
include CARDINAL with type n := n
Sourceval inj : L.n index -> R.n index -> n index
Sourceval prj : n index -> L.n index * R.n index