Reach.IR.Counter (Reach v2.8.3)

Copy Markdown View Source

Monotonic ID counter for IR node construction.

Summary

Types

t()

Functions

new(initial_value \\ 0)
next(ref)

Types

t()

@opaque t()

Functions

new(initial_value \\ 0)

@spec new(non_neg_integer()) :: t()

next(ref)

@spec next(t()) :: non_neg_integer()