From b23e07576223c994c6e096666ec7a055f2c3492d Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 20 Feb 2022 22:00:35 -0500 Subject: [PATCH] fix occurrences of warning 50 --- src/data/CCMutHeap_intf.ml | 11 ++++++++--- src/data/CCPersistentArray.mli | 1 + 2 files changed, 9 insertions(+), 3 deletions(-) diff --git a/src/data/CCMutHeap_intf.ml b/src/data/CCMutHeap_intf.ml index fc64ce92..ec5aa81e 100644 --- a/src/data/CCMutHeap_intf.ml +++ b/src/data/CCMutHeap_intf.ml @@ -5,9 +5,14 @@ module type RANKED = sig type t - val idx: t -> int (** Index in heap. return -1 if never set *) - val set_idx : t -> int -> unit (** Update index in heap *) - val lt : t -> t -> bool (** [cmp a b] is true iff [a < b] *) + val idx: t -> int + (** Index in heap. return -1 if never set *) + + val set_idx : t -> int -> unit + (** Update index in heap *) + + val lt : t -> t -> bool + (** [cmp a b] is true iff [a < b] *) end module type S = sig diff --git a/src/data/CCPersistentArray.mli b/src/data/CCPersistentArray.mli index 9fc760a9..729aa74a 100644 --- a/src/data/CCPersistentArray.mli +++ b/src/data/CCPersistentArray.mli @@ -78,6 +78,7 @@ val mapi : (int -> 'a -> 'b) -> 'a t -> 'b t val iter : ('a -> unit) -> 'a t -> unit (** [iter f t] applies function [f] to all elements of the persistent array, in order from element [0] to element [length t - 1]. *) + val iteri : (int -> 'a -> unit) -> 'a t -> unit val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a