package forester

  1. Overview
  2. Docs
module Gph : sig ... end
module Tbl : sig ... end
module Map : Map.S with type key = Core.addr
module Topo : sig ... end
val build_import_graph : Core.Code.tree Seq.t -> Gph.t
type analysis = {
  1. transclusion_graph : Gph.t;
  2. contributors : Core.addr Tbl.t;
  3. author_pages : Core.addr Tbl.t;
  4. bibliography : Core.addr Tbl.t;
}
val analyze_trees : Core.Sem.tree Map.t -> analysis

Populating all the graphs and tables by inspecting evaluated trees

OCaml

Innovation. Community. Security.