The maximum number of entries has been created

The value to be written is too big

Too many transactions have been started

The current global default maximum number of entries per domain

The current global default maximum value size

The current global default maximum number of watches

The current global default maximum number of open transactions

The current global maximum number of outstanding watch events

Per-domain overrides for the maxent limit

Per-domain overrides for the maxwatch limit

Per-domain overrides for the maxtransaction limit

Per-domain overrides for the maxwatchevent limit

set_override kind t domid x sets the kind override for domid to x

get_override kind t domid returns any current kind override for domid

list_overrides kind returns the current kind (domid, override) pairs

maxwatch_of_domain domid returns the max number of watches for domid

maxtransaction_of_domain domid returns the max number of transactions for domid

maxwatchevent_of_domain domid returns the max number of outstanding watch events for domid

Represents the current per-domain number of entries

Create an empty t

Return a duplicate of t

union a b adds all entries from b to a

union a b adds all entries from b to a

check t domid size throws Data_too_big if size is too large throws Limit_reached if domid has reached its entry limit

get domid returns the number of entries associated with domid

list t returns all (domid, entry count) pairs

incr t domid adds an entry to domid

decr t domid removes an entry from domid