Legend:
Library
Module
Module type
Parameter
Class
Class type
module type Key = sig ... end
module type S = sig ... end
module type Monad = sig ... end
module Make_with_monad (M : Monad) (K : Key) : sig ... end
module Make (K : Key) : sig ... end