bap-primus

The BAP Microexecution Framework
IN THIS PACKAGE
Module Bap_primus . Std . Primus . Lisp . Doc
module type Element = sig ... end

Abstract Element of a document.

module Category : Element
module Name : Element
module Descr : Element
type index = (Category.t * (Name.t * Descr.t) list) list

Documentation 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.

module Make (Machine : Machine.S) : sig ... end