Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module K : T.T

Signature

type nonrec 'v t = ( K.t, 'v ) t