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