Commit 2b24faa2 authored by POTTIER Francois's avatar POTTIER Francois

Mark [MenhirLib.General] as deprecated.

parent ac0e1b00
......@@ -13,6 +13,9 @@
(* This module offers general-purpose functions on lists and streams. *)
(* As of 2017/03/31, this module is DEPRECATED. It might be removed in
the future. *)
(* --------------------------------------------------------------------------- *)
(* Lists. *)
......@@ -41,9 +44,6 @@ val weed: ('a -> 'a -> int) -> 'a list -> 'a list
(* --------------------------------------------------------------------------- *)
(* As of 2017/03/31, the type [stream] is DEPRECATED. It might be removed in
the future. *)
(* A stream is a list whose elements are produced on demand. *)
type 'a stream =
......
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