sig val dump : (unit -> unit) Pervasives.ref val topologically_iter_on_functions : ((Db_types.kernel_function -> unit) -> unit) Pervasives.ref end