Module Make.ControlLocation

Control locations are also vertices in the graph. We provide to_int that uniquely identifies each node, as they will be used as keys in PatriciaTree.

include PatriciaTree.KEY

type t

val to_int : t -> int

val equal : t -> t -> bool

val hash : t -> int

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