package mc2

  1. Overview
  2. Docs
On This Page
  1. Services

Module Mc2_core.ServiceSource

Services

A service is a feature provided by a plugin. A typical service would be a function to build terms, or to traverse all sub-terms, or to perform E-matching, etc.

A registry is used to list all services provided by plugins and make them available to users of the library, or to other plugins.

Sourcemodule Key : sig ... end

The way to access a service registered by some plugin

Sourcetype any =
  1. | Any : 'a Key.t * 'a -> any
    (*

    Existential wrapper around a service

    *)
Sourcemodule Registry : sig ... end