package ocaml-base-compiler

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.08.0

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Xavier Leroy

Maintainers

David Allsopp
F

Florian Angeletti <florian.angeletti@inria.fr>

Sources

4.08.0.tar.gz

sha256=c8ff78d010cb037ac6d6729e40ebdbee109218899007ef23a20b8f459ac186d6

md5=42ed24e9a7c0e3998cab7d5e7c9f7618

doc/ocamlcommon/Strongly_connected_components/Make/index.html

Module `Strongly_connected_components.Make`

Parameters

module Id : Identifiable.S

Signature

type directed_graph = Id.Set.t Id.Map.t

If (a -> set) belongs to the map, it means that there are edges from a to every element of set. It is assumed that no edge points to a vertex not represented in the map.

type component =

| Has_loop of Id.t list
| No_loop of Id.t

val connected_components_sorted_from_roots_to_leaf : 
  directed_graph ->
  component array

val component_graph : directed_graph -> (component * int list) array

On This Page

Parameters
Signature