package lrgrep

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

Module Sum.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 : L.n index -> n index
Sourceval inj_r : R.n index -> n index