Names (p.nuscr.2.1.0.doc.nuscr.lib.Nuscrlib.Names)

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