Up – Package index » sherlodoc

sherlodoc

API

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

API

Library sherlodoc.db

Db

Library sherlodoc.db_store

Db_store

Library sherlodoc.query

Query

Library sherlodoc.storage_js

Storage_js

Library sherlodoc.storage_marshal

Storage_marshal