package lrgrep

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

Module Indexing.ProdSource

Sourcetype (_, _) n
Sourceval cardinal : 'l cardinal -> 'r cardinal -> ('l, 'r) n cardinal
Sourceval inj : 'l cardinal -> 'l index -> 'r index -> ('l, 'r) n index
Sourceval prj : 'l cardinal -> ('l, 'r) n index -> 'l index * 'r index
Sourcemodule type S = sig ... end
Sourcemodule Make (L : CARDINAL) (R : CARDINAL) : S with type l := L.n and type r := R.n
Sourceval make : 'l cardinal -> 'r cardinal -> (module S with type l = 'l and type r = 'r)