package doc-ock
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module C : COLLECTION

Signature

This comment is for CollectionModule.

type collection = C.element list

This comment is for collection.

type element = C.collection
module InnerModuleA : sig ... end

This comment is for InnerModuleA.

module type InnerModuleTypeA = InnerModuleA.InnerModuleTypeA'

This comment is for InnerModuleTypeA.