Lisp.Docmodule type Element = sig ... endAbstract Element of a document.
module Name = Bap_knowledge.Knowledge.Namemodule Descr : sig ... endtype index = (Category.t * (Name.t * Descr.t) list) listDocumentation index.
Documentation index has the following ogranization:
Category 1:
  - Element1 Name, Element1 Description;
- Element2 Name, Element2 Description;
...
  Category2:
    - ...All entries are sorted in alphabetic order.