
     metrics upload . 

    ON - Metrics always sent 
    OFF - Metrics never sent 
    AUTO - Metrics only sent if config is pulled from the server 

   Configures metrics upload.

   ON - Metrics always sent
   OFF - Metrics never sent
   AUTO - Metrics only sent if config is pulled from the server
*)
type config = On | Off | Auto [@@deriving show]

  For Cmdliner
val converter : config Cmdliner.Arg.conv

type t = {
  mutable is_using_registry : bool;
  mutable payload : Semgrep_metrics_t.payload;
  config : config;
}

val default : t

(* global you should not access directly *)
val g : t ref

  initialize g that is then modified by the add_xxx functions 
  * below and finally accessed in send ( ) further below . 
 
 * below and finally accessed in send() further below.
 *)
val configure : config -> unit

 global you should not access directly 

     metrics upload . 

    ON - Metrics always sent 
    OFF - Metrics never sent 
    AUTO - Metrics only sent if config is pulled from the server 

   Configures metrics upload.

   ON - Metrics always sent
   OFF - Metrics never sent
   AUTO - Metrics only sent if config is pulled from the server
*)
type config = On | Off | Auto [@@deriving show]

  For Cmdliner
val converter : config Cmdliner.Arg.conv

type t = {
  mutable is_using_registry : bool;
  mutable payload : Semgrep_metrics_t.payload;
  config : config;
}

val default : t

val g : t ref

  initialize g that is then modified by the add_xxx functions 
  * below and finally accessed in send ( ) further below . 
 
 * below and finally accessed in send() further below.
 *)
val configure : config -> unit
