doc: indicate that ccmutheap is experimental

This commit is contained in:
Simon Cruanes 2020-11-04 12:29:15 -05:00
parent 587e445308
commit 87a9937938

View file

@ -1,3 +1,15 @@
(* This code is extracted from Msat ( https://github.com/Gbury/mSAT ).
As such it is under the Apache 2 License.
*)
(** {1 Mutable Heaps}
The classic binary heap in a vector.
{b STATUS}: experimental, this might change in breaking ways.
@since NEXT_RELEASE *)
module type RANKED = CCMutHeap_intf.RANKED module type RANKED = CCMutHeap_intf.RANKED
module type S = CCMutHeap_intf.S module type S = CCMutHeap_intf.S