Module Imandra.Gc_stat

type t = Imandra_util.Gc_stat.t
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val get_server : ?scope:Opentelemetry.Trace.scope -> unit -> t
val get_client : unit -> t
val to_json : t -> Yojson.Safe.t
val to_json_string : t -> string