Module type Mutable_types.DCounter

module type DCounter = sig .. end

Increment / decrement counter type. Supports merging, incrementing and decrementing.

The elt type (included from IVector must be supplied when including).

include Mutable_types.IVector

val decr : t -> unit

decr t decrements the position associated with the numsite of t. See M_IntVector for more information on numsites.