Christian Rinderknecht c4182fa6fd I rewrote some comments so [dune build @doc] can extract HTML from
module interfaces.

This is meant as an exercise and an example to all team members.

I fixed a minor shadowing issue in [x_list.ml].
2019-12-06 11:49:19 +01:00
..
2019-10-17 11:45:27 +02:00
2019-05-27 11:08:26 +02:00