package ocaml-base-compiler

  1. Overview
  2. Docs
type id = string
module S : sig ... end
val set_to_list : S.t -> S.elt list
type node = {
  1. id : id;
  2. mutable near : S.t;
  3. mutable far : (id * S.t) list;
  4. reflex : bool;
}
type graph = node list
val make_node : id -> id list -> node
val get_node : node list -> id -> node
val trans_closure : node list -> S.t -> node -> S.t
val node_trans_closure : node list -> node -> unit
val compute_trans_closure : node list -> unit
val prune_node : node list -> node -> unit
val kernel : node list -> node list