Module Interface.Graph

module Wto : sig ... end

type node_label = {

1. head : int64;
2. tail : int64;
3. call_stack : int64 list;

}

type edge_info = {

1. back : bool;

}

type light_cfg_node = {

1. id : int;
2. label : node_label;
3. mutable succs : (edge_info * light_cfg_node) list;

}

Each cfg node is a basic block.