package mc2

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

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.

module Key : sig ... end

The way to access a service registered by some plugin

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

    Existential wrapper around a service

    *)
module Registry : sig ... end