package mc2

  1. Overview
  2. Docs


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

Innovation. Community. Security.