package yuujinchou

  1. Overview
  2. Docs

The Scope module implements lexical scoping based on Modifier.

module type Param = sig ... end

The parameters of scoping effects.

module type Perform = sig ... end

The handler module type.

module type S = sig ... end

The signature of scoping effects.

module Make (Param : Param) (Modifier : Modifier.S with module Param := Param) : S with module Param := Param

The functor to generate a module for scoping effects.