package codex

  1. Overview
  2. Docs
package codex
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Interface.GraphSource

Sourcemodule Wto : sig ... end
Sourcetype node_label = {
  1. head : int64;
  2. tail : int64;
  3. call_stack : int64 list;
}
Sourcetype edge_info = {
  1. back : bool;
}
Sourcetype 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.