Module type Immutable_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 Immutable_types.IVector

val decr : t -> t

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