package doc-ock

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

This module type includes two signatures.

  • it includes A
  • it includes B with some substitution
include A
type t
module Q : COLLECTION
include B with type t := t and module Q := Q