From be80f9574302d21a14bb0ba146c25d6c18ee7ecf Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Tue, 4 Feb 2025 12:37:34 +0100
Subject: [PATCH] [kernel] fix documentation
---
src/libraries/datatype/datatype.mli | 14 ++++++++------
1 file changed, 8 insertions(+), 6 deletions(-)
diff --git a/src/libraries/datatype/datatype.mli b/src/libraries/datatype/datatype.mli
index dfca5c26f8..afef4bed64 100644
--- a/src/libraries/datatype/datatype.mli
+++ b/src/libraries/datatype/datatype.mli
@@ -268,7 +268,7 @@ module type Hashtbl = sig
end
(** A datatype for a type [t] extended with predefined hashtbl over [t].
-
+ @since Frama-C+dev
@see <https://frama-c.com/download/frama-c-plugin-development-guide.pdf>
*)
module type S_with_hashtbl = sig
@@ -278,7 +278,7 @@ module type S_with_hashtbl = sig
end
(** A datatype for a type [t] extended with predefined set and map over [t].
-
+ @since Frama-C+dev
@see <https://frama-c.com/download/frama-c-plugin-development-guide.pdf>
*)
module type S_with_set_and_map = sig
@@ -305,24 +305,26 @@ module type S_with_collections = sig
end
(** Generic comparable datatype builder: functions [equal] and [compare] must
- not be {!undefined}. *)
+ not be {!undefined}.
+ @since Frama-C+dev *)
module Make_with_set_and_map(X: Make_input):
S_with_set_and_map with type t = X.t
(** Add sets and maps to an existing datatype, provided the [equal] and
[compare] are not {!undefined}.
- @since Oxygen-20120901 *)
+ @since Frama-C+dev *)
module With_set_and_map(X: S)(_: Functor_info):
S_with_set_and_map with type t = X.t
(** Generic comparable datatype builder: functions [equal] and [hash] must not
- be {!undefined}. *)
+ be {!undefined}.
+ @since Frama-C+dev *)
module Make_with_hashtbl(X: Make_input):
S_with_hashtbl with type t = X.t
(** Add hashtables modules to an existing datatype, provided the [equal] and
[hash] functions are not {!undefined}.
- @since Oxygen-20120901 *)
+ @since Frama-C+dev *)
module With_hashtbl(X: S)(_: Functor_info):
S_with_hashtbl with type t = X.t
--
GitLab