Legend:
Library
Module
Module type
Parameter
Class
Class type
type 'a x
type 'a y
val map : 'a x -> 'a y