package lrgrep

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

Module Indexing.OptSource

Opt adds one element to a set.

Sourcetype 'n n
Sourceval none : 'n n index
Sourceval some : 'n index -> 'n n index
Sourceval is_none : 'n n index -> bool
Sourceval prj : 'n n index -> 'n index option
Sourceval cardinal : 'n cardinal -> 'n n cardinal