Module Cfg.V

type call_stack = Binsec.Virtual_address.t list

type t = Binsec.Virtual_address.t * call_stack

type label = V.label

val create : label -> t

val label : t -> label

val pretty : Stdlib.Format.formatter -> t -> unit

val pp_stack : Stdlib.Format.formatter -> call_stack -> unit

val compare : t -> t -> int

val equal : t -> t -> bool

val hash : t -> int

module Map : sig ... end

module Set : sig ... end

module Hamt : sig ... end

module Htbl : sig ... end