val bench_record_time : unit -> unit
val bench_return_time : unit -> int
val print_dot_file :
string ->
(Stdlib.Format.formatter -> 'a -> unit) ->
'b ->
unit
type gen_graph = {
time : int;
size : unit -> int;
print : unit -> unit;
to_dot : string -> unit;
assertions_and_dead_ends : unit -> int * int;
}