mirror of
https://github.com/c-cube/ocaml-containers.git
synced 2025-12-06 19:25:28 -05:00
doc: abide by odoc's whims
This commit is contained in:
parent
113d03225f
commit
da2c9e7c7c
3 changed files with 7 additions and 5 deletions
|
|
@ -1,7 +1,9 @@
|
||||||
|
|
||||||
(* This file is free software, part of containers. See file "license" for more details. *)
|
(* This file is free software, part of containers. See file "license" for more details. *)
|
||||||
|
|
||||||
(** {1 Leftist Heaps} following Okasaki *)
|
(** {1 Leftist Heaps}
|
||||||
|
|
||||||
|
Implementation following Okasaki's book. *)
|
||||||
|
|
||||||
type 'a sequence = ('a -> unit) -> unit
|
type 'a sequence = ('a -> unit) -> unit
|
||||||
type 'a gen = unit -> 'a option
|
type 'a gen = unit -> 'a option
|
||||||
|
|
|
||||||
|
|
@ -106,7 +106,7 @@ val choose : 'a t -> 'a option
|
||||||
val append_mut : id:Transient.t -> into:'a t -> 'a t -> 'a t
|
val append_mut : id:Transient.t -> into:'a t -> 'a t -> 'a t
|
||||||
*)
|
*)
|
||||||
|
|
||||||
(** {6 Conversions} *)
|
(** {5 Conversions} *)
|
||||||
|
|
||||||
val to_list : 'a t -> 'a list
|
val to_list : 'a t -> 'a list
|
||||||
|
|
||||||
|
|
@ -138,6 +138,6 @@ val to_gen : 'a t -> 'a gen
|
||||||
(** @raise Frozen if the ID is frozen. *)
|
(** @raise Frozen if the ID is frozen. *)
|
||||||
*)
|
*)
|
||||||
|
|
||||||
(** {6 IO} *)
|
(** {5 IO} *)
|
||||||
|
|
||||||
val pp : 'a printer -> 'a t printer
|
val pp : 'a printer -> 'a t printer
|
||||||
|
|
|
||||||
|
|
@ -107,7 +107,7 @@ module type S = sig
|
||||||
|
|
||||||
val fold : f:('b -> key -> 'a -> 'b) -> x:'b -> 'a t -> 'b
|
val fold : f:('b -> key -> 'a -> 'b) -> x:'b -> 'a t -> 'b
|
||||||
|
|
||||||
(** {6 Conversions} *)
|
(** {5 Conversions} *)
|
||||||
|
|
||||||
val to_list : 'a t -> (key * 'a) list
|
val to_list : 'a t -> (key * 'a) list
|
||||||
|
|
||||||
|
|
@ -136,7 +136,7 @@ module type S = sig
|
||||||
|
|
||||||
val to_gen : 'a t -> (key * 'a) gen
|
val to_gen : 'a t -> (key * 'a) gen
|
||||||
|
|
||||||
(** {6 IO} *)
|
(** {5 IO} *)
|
||||||
|
|
||||||
val pp : key printer -> 'a printer -> 'a t printer
|
val pp : key printer -> 'a printer -> 'a t printer
|
||||||
(** Renamed from [val print].
|
(** Renamed from [val print].
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue