package nuscr

You can search for identifiers within the package.

in-package search v0.2.0

A tool to manipulate and validate Scribble-style multiparty protocols

Install

Dune Dependency

nuscr.dev Changelog Edit opam file Versions (5)

Authors

Maintainers

F

Francisco Ferreira

Sources

nuscr-2.1.1.tbz

sha256=c5a419fd1fdea78fb63b3a3c335b0e6b0f2b08d65b79870565bdcc0f997bc728

sha512=83ef593ed514eeef1b10069af54562833d617d1c338c5adaf82ee5c3ea7ec4569b3643fcbb237b3cb79ce2f579094cbd17217efa5f4e522bd20f67e1df3a7dbd

doc/nuscr.lib/Nuscrlib/Names/index.html

Module `Nuscrlib.Names`

Identifiers and Namespaces

module type UntaggedName = sig ... end

An 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 ... end

A 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 () : TaggedName

Creates a new namespace module

module ProtocolName : TaggedName

module PayloadTypeName : TaggedName

module LabelName : TaggedName

module RoleName : TaggedName

module VariableName : TaggedName

module TypeVariableName : TaggedName

module LocalProtocolName : TaggedName