Module Sse_options.Address_counterSource

Sourcetype t = private {
  1. address : Binsec.Virtual_address.t;
  2. counter : int;
}
Sourceval check_and_decr : t -> t option