Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package hector
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module OutOfArray (A : MONOARRAY) : MONOVECTOR with type element = A.elementmodule Make (E : sig ... end) : MONOVECTOR with type element = E.tThe functor Make lets the user choose the type element. The function Array.make is used to allocate arrays.