package binsec

  1. Overview
  2. Docs
package binsec
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module State.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.