Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type COMPONENT = sig ... end
module type SIMPLE_COMPONENT = sig ... end
val identity : 'ty -> ('ctx, 'ty) t
val make_m :
(module SIMPLE_COMPONENT with type ctx = 'ctx and type t = 'a) ->
('ctx, 'a) t