module StringMatrix : Map.S with type key = string * stringmodule Poly_Class : sig ... endmodule Poly_Var : sig ... endmodule LClassMap : sig ... endmodule LVarMap : sig ... endval random_from_list :
(module Scalar.S with type t = 'k) ->
('k * 'a) list ->
Random.State.t ->
'arandom_from_list state l picks a random element from l. Each element of l is given a weight which describes the distribution probability of l. An element with a bigger weight relative to the other elements of l will occur more frequently.
Bernouilli distribution. random_bern state x returns true with probability x, and false with probability 1-x.
val random_bern :
(module Scalar.S with type t = 'k) ->
'k ->
Random.State.t ->
boolpp_tree root_tag sub_trees prints a tree, from a tag for the root root_tag, and a list of sub-trees, each represented by its list of lines to print.
val pp_string_list : Format.formatter -> string list -> unitpp_string_list formats a list of string by separating them with newlines