Reasoning_proxy.Gc
val stat : scope:scope option -> unit -> Imandra_util.Gc_stat.t Imandra_thread_util.Fut.t