Module `Pulselib.PulseAbstractValue`

module F = Stdlib.Format

type t = private int: An abstract value, eg an address in memory.

val compare : t -> t -> int
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t

val equal : t -> t -> bool
val mk_fresh : unit -> t
val pp : F.formatter -> t -> unit
val of_id : int -> t

module Constants : sig ... end

module Set : IStdlib.PrettyPrintable.PPSet with type PPSet.elt = t

module Map : sig ... end

module State : sig ... end: internal state of the module