package orsetto

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

The implementation of the underlying co-domain content array.

type 'a t

The type of an co-domain array.

val nil : 'a t

A distinguished empty array.

val empty : 'a t -> bool

Use empty v to test whether v is an empty array.

val of_seq : 'a Seq.t -> 'a t

Use of_seq s to make an array from the elements consumed from s.

val project : 'a t -> Index.t -> 'a

Use project v i to obtain the element of v at index i.