Make.Node
module Control_location = Control_location
type t
val control_location : t -> Control_location.t
val hash : t -> int
val equal : t -> t -> bool
val pretty : Stdlib.Format.formatter -> t -> unit
val compare : t -> t -> int
val preds : t -> t list
val succs : t -> t list