Inferno.Tarjan.Run · inferno 20220603 · OCaml Packages

inferno

A library for constraint-based Hindley-Milner type inference

Version

Overview Documentation

IN THIS PACKAGE

library inferno
- module Inferno
  - module Decoder
    
    module Make
    
    argument 1-S
    
    argument 2-U
    
    argument 3-O
  - module Generalization
    
    module Make
    
    argument 1-S
    
    module Data
    
    module U
  - module InfiniteArray
  - module OccursCheck
    
    module Make
    
    argument 1-S
    
    argument 2-U
  - module Signatures
    
    module type DECODER
    
    module type GSTRUCTURE
    
    module type GUNIFIER
    
    module type HSTRUCTURE
    
    module type MUNIFIER
    
    module type OCCURS_CHECK
    
    module type OCSTRUCTURE
    
    module type OSTRUCTURE
    
    module type OUTPUT
    
    module type SSTRUCTURE
    
    module type STRUCTURE_LEAF
    
    module type TEVAR
    
    module type UNIFIER
    
    module type USTRUCTURE
  - module Solver
    
    module Make
    
    argument 1-X
    
    argument 2-S
    
    argument 3-O
  - module Structure
    
    module Option
    
    argument 1-S
  - module Tarjan
    
    module Run
    
    argument 1-G
  - module Unifier
    
    module Make
    
    argument 1-S
  - module Utils

Module Inferno . Tarjan . Run

Parameters

module G : sig ... end

Signature

val representative : G.node -> G.node

val scc : G.node -> G.node list

val iter : ( G.node -> G.node list -> unit ) -> unit

val rev_topological_iter : ( G.node -> G.node list -> unit ) -> unit

val map : ( G.node -> G.node list -> 'a ) -> 'a list

val rev_map : ( G.node -> G.node list -> 'a ) -> 'a list

val isolated : G.node -> bool

isolated x determines whether the vertex x is the sole element of its strongly connected component.