Commit b9c031d6 authored by Martin Clochard's avatar Martin Clochard

AVL example: fixed some doc comments

parent 5b5daca3
......@@ -606,7 +606,7 @@ module AVL
end
end
(* Remove an element from the sequence.
(** Remove an element from the sequence.
[remove r s t] Split the sequence [t] using [s] into [lf ++ o ++ rg],
and erase whatever may be in the middle,
as [lf++rg]. logarithmic-time. *)
......
......@@ -154,7 +154,7 @@ module MapBase
val M.zero = M.zero,
val M.op = M.op
(*{3 Adaptation to the specification to associative tables}*)
(** {3 Adaptation to the specification to associative tables} *)
type t 'a = Sel.t 'a
......
Markdown is supported
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