fix occurrences of warning 50

This commit is contained in:
Simon Cruanes 2022-02-20 22:00:35 -05:00
parent 6717d03a35
commit b23e075762
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
2 changed files with 9 additions and 3 deletions

View file

@ -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

View file

@ -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