package orsetto

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module contains the signature of an ancillary array for storage of the co-domain elements of a map structure.

module type Profile = sig ... end

The signature of a co-domain content array.

module Of_array : Profile with type 'a t = 'a array and type index := int

A distinguished instance of a module for the 'a array type.