package sherlodoc

You can search for identifiers within the package.

in-package search v0.2.0

package sherlodoc

sherlodoc
- Library sherlodoc.db
  - Db
    
    Entry
    
    Kind
    
    Package
    
    Storage
    
    Occurences
    
    S
    
    Type_polarity
    
    Sign
    
    Typexpr
    
    Occurences
    
    String_automata
- Library sherlodoc.db_store
  - Db_store
- Library sherlodoc.query
  - Query
    
    IO
    
    Make
    
    Blocking
    
    Private
    
    Succ
    
    Type_parser
- Library sherlodoc.storage_js
  - Storage_js
- Library sherlodoc.storage_marshal
  - Storage_marshal
- Sources
  - sherlodoc.db
    
    db.ml
    
    db__.ml
    
    entry.ml
    
    storage.ml
    
    string_automata.ml
    
    type_polarity.ml
    
    typexpr.ml
  - sherlodoc.db_store
    
    db_store.ml
  - sherlodoc.query
    
    dynamic_cost.ml
    
    io.ml
    
    name_cost.ml
    
    priority_queue.ml
    
    query.ml
    
    query__.ml
    
    query_parser.ml
    
    succ.ml
    
    top_results.ml
    
    type_distance.ml
    
    type_lexer.ml
    
    type_parser.ml
  - sherlodoc.storage_js
    
    storage_js.ml
  - sherlodoc.storage_marshal
    
    storage_marshal.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Private.Succ`Source

This module provides a way to get the first n elements of a very large set without computing the whole list of elements.

Sourcetype t

Sourceval to_seq : t -> Db.Entry.t Seq.t

Sourceval empty : t

Sourceval of_automata : Db.String_automata.t -> t

Sourceval of_automatas : Db.String_automata.t list -> t

Sourceval inter : t -> t -> t

Sourceval union : t -> t -> t

Sourceval inter_of_list : t list -> t

Sourceval union_of_list : t list -> t

Sourceval of_array : Db.Entry.t array -> t