Commit 2a26e3db authored by POTTIER Francois's avatar POTTIER Francois
Browse files

README.

parent 19ca4c7a
...@@ -12,8 +12,8 @@ Type `opam install fix`. ...@@ -12,8 +12,8 @@ Type `opam install fix`.
At the top of an OCaml module, declare `open Fix`. At the top of an OCaml module, declare `open Fix`.
This gives you access to the following submodules: This gives you access to the following submodules:
* [`CompactQueue`](src/CompactQueue.mli) offers a minimalist mutable * [`CompactQueue`](src/CompactQueue.mli) offers **a minimalist mutable
FIFO queue that is tuned for performance. FIFO queue** that is tuned for performance.
* [`DataFlow`](src/DataFlow.mli) performs a forward data flow analysis * [`DataFlow`](src/DataFlow.mli) performs a forward data flow analysis
over a directed graph. Like [`Fix`](src/Core.mli), it computes the over a directed graph. Like [`Fix`](src/Core.mli), it computes the
...@@ -25,8 +25,8 @@ This gives you access to the following submodules: ...@@ -25,8 +25,8 @@ This gives you access to the following submodules:
* [`Gensym`](src/Gensym.mli) offers a simple facility * [`Gensym`](src/Gensym.mli) offers a simple facility
for **generating fresh integer identifiers**. for **generating fresh integer identifiers**.
* [`Indexing`](src/Indexing.mli) offers a safe API for manipulating indices * [`Indexing`](src/Indexing.mli) offers **a safe API for manipulating indices
into fixed-size arrays. into fixed-size arrays**.
* [`Memoize`](src/Memoize.mli) offers a number of combinators * [`Memoize`](src/Memoize.mli) offers a number of combinators
that help **construct possibly recursive memoizing functions**, that that help **construct possibly recursive memoizing functions**, that
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment