Reach.IR.Counter (Reach v2.6.1)

Copy Markdown View Source

Monotonic ID counter for IR node construction.

Summary

Types

t()

Functions

new()
next(ref)

Types

t()

@opaque t()

Functions

new()

@spec new() :: t()

next(ref)

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