Module Sig.Widening_Id

An integer uniquely identifying a widening point.

See "Compiling with Abstract Interpretation", Lesbre&Lemerre, PLDI 2024.

type t = private int

val fresh : unit -> t