Module Imandra_codegen.Gen_rand

Code generation for random generators

val mk_plugin : ?mod_name:string -> unit -> Imandra_surface.Event_def_plugin.t