Module Base.ProgressParamsSource

Sourcetype 'a t = {
  1. token : ProgressToken.t;
  2. value : 'a;
}
Sourceval to_yojson : ('a -> Yojson.Safe.t) -> 'a t -> Yojson.Safe.t