Sourceval seed : int option Stdlib.ref Sourceval mut_rate : int option Stdlib.ref Sourceval gadt : bool option Stdlib.ref Sourceval invalid_rate : int -> bool Sourceval set_seed : int -> unit Sourceval set_rate : int -> unit Sourceval set_gadt : bool -> unit Sourceval arg_spec : (string * Stdlib.Arg.spec * string) list