package binsec

You can search for identifiers within the package.

in-package search v0.2.0

Module `_.Uid`

type t

A unique identifier for variable naming (SSA form).

val zero : t

zero returns the first unique identifier.

val succ : t -> t

succ i returns the unique identifier following i.

val compare : t -> t -> int

compare i1 i2 same behavior as Stdlib.compare.