module Random:sig
..end
val init_bak : unit -> string
val bak_init : string -> unit
val prob_take : ('a -> float) -> 'a list -> 'a
val prob_extract : ('a -> float) -> 'a list -> 'a * 'a list
module Int:sig
..end
module Float:sig
..end
module Int32:sig
..end
module Int64:sig
..end
module List:sig
..end
module Array:sig
..end