Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package nuscr
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Identifiers and Namespaces
module type UntaggedName = sig ... endAn UntaggedName is a module type, used as a basis to create TaggedName. A name is used to store identifiers of various kinds, including a string that is the identifier itself, and a location of its occurence.
module type TaggedName = sig ... endA TaggedName is a module type to represent names of different kinds. One can use Make () to create a new namespace module, so that different namespaces can be properly distinguished at the type level
module Make () : TaggedNameCreates a new namespace module
module ProtocolName : TaggedNamemodule PayloadTypeName : TaggedNamemodule LabelName : TaggedNamemodule RoleName : TaggedNamemodule VariableName : TaggedNamemodule TypeVariableName : TaggedNamemodule LocalProtocolName : TaggedName