Skip to content
Snippets Groups Projects
Commit 7534ae80 authored by François Bobot's avatar François Bobot
Browse files

comment in shuffle

parent 51e61660
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 1 deletion
src/util/shuffle.mli
+ 3
− 1
View file @ 7534ae80
val set_shuffle: int array option -> unit val set_shuffle: int array option -> unit
(** if None is given shuffling is disable (default) *) (** if None is given shuffling is disable (default) *)
...@@ -23,5 +22,8 @@ val seql': ('a -> unit) -> 'a list -> unit ...@@ -23,5 +22,8 @@ val seql': ('a -> unit) -> 'a list -> unit
val seql : (unit -> unit) list -> unit val seql : (unit -> unit) list -> unit
val chooseb: ('a -> 'b) -> ((unit -> bool) ->'a -> 'b) -> 'a -> 'b val chooseb: ('a -> 'b) -> ((unit -> bool) ->'a -> 'b) -> 'a -> 'b
(** [chooseb f g] call f if there is no shuffling or g otherwise.
The first argument given to g is a random boolean generator.
*)
val int: int -> int val int: int -> int
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment