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 `Query.Private`Source

For testing

Sourcemodule Succ : sig ... end

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

Sourcemodule Type_parser : sig ... end