package orsetto

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

This module contains the signature of a random-access vector containing data accessible at constant order cost for any index. Distinguished instances of the signature include char type values in string type vectors and int type values in int array vectors.

module type Basis = sig ... end

The signature of vector basis modules.

module Int_basis : Basis with type t = int

A distinguished basis module for vectors with integer indices.

module type Profile = sig ... end

The signature of vector implementation modules.

module Create (E : Cf_relations.Order) : Profile with type index = int and type element = E.t and type t = E.t array

Use Create(E) to compose a vector using an array.

module Of_char : Profile with type index = int and type element = char and type t = string

Use Of_char for string vectors.

module Of_int : sig ... end

Use Of_int for integer array vectors.

module Of_string : sig ... end

Use Of_string for integer array vectors.