package orsetto

You can search for identifiers within the package.

in-package search v0.2.0

A library of assorted structured data interchange languages

Install

sha256=bb2af4d8b376b2d60fa996bd4d3b90d9f3559455672540f6d7c3598af81d483b

md5=f7bfa83013801b42fcdba607af2f012b

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.