package acgtk

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

Module UtilsLib.DependencyManagerSource

This modules implements a functor that build a simple minded dependency manager. The later is used to store dependencies and to retrieve the data dependeding on an element

Sourcemodule type Manager_sig = sig ... end

The module signature of the dependency manager

Sourcemodule Make (O : Map.OrderedType) : Manager_sig with type elt = O.t