From c5ce7cc78f46557913ca3525e293a77e3b439ee5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 22 Jul 2024 14:21:19 +0200
Subject: [PATCH] [Hptmap] Fixes documentation of Key.id.
---
src/libraries/utils/hptmap.mli | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/libraries/utils/hptmap.mli b/src/libraries/utils/hptmap.mli
index cd2b5c0c3a..b1efbc13d8 100644
--- a/src/libraries/utils/hptmap.mli
+++ b/src/libraries/utils/hptmap.mli
@@ -29,7 +29,7 @@ type prefix
module type Id_Datatype = sig
include Datatype.S
val id: t -> int (** Identity of a key. Must verify [id k >= 0] and
- [equal k1 k2 ==> id k1 = id k2] *)
+ [equal k1 k2 <==> id k1 = id k2] *)
end
(** This functor builds {!Hptmap_sig.Shape} for maps indexed by keys [Key],
@@ -46,7 +46,7 @@ module type Info = sig
val initial_values : (key * v) list list
(** List of the maps that must be shared between all instances of Frama-C
- (the maps being described by the list of their elements).
+ (the maps being described by the list of their bindings).
Must include all maps that are exported at Caml link-time when the
functor is applied. *)
--
GitLab