Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module type UntaggedName = sig ... end
module type TaggedName = sig ... end
module Make () : TaggedName
module ProtocolName : TaggedName
module PayloadTypeName : TaggedName
module LabelName : TaggedName
module RoleName : TaggedName
module VariableName : TaggedName
module TypeVariableName : TaggedName
module LocalProtocolName : TaggedName