package nuscr

You can search for identifiers within the package.

in-package search v0.2.0

nuscr.lib
- Nuscrlib
  - Efsm
    
    G
    
    E
    
    V
  - Err
  - Expr
    
    Sexp
  - Gtype
  - LiteratureSyntax
  - Loc
  - Ltype
    
    LocalProtocolId
  - Names
    
    LabelName
    
    LocalProtocolName
    
    Make
    
    PayloadTypeName
    
    ProtocolName
    
    RoleName
    
    TaggedName
    
    TypeVariableName
    
    UntaggedName
    
    VariableName
  - Pragma

Legend:
Library
Module
Module type
Parameter
Class
Class type

An modified S-expression library that distinguishes literal strings and * atoms

type t =

| Literal of Base.string
| Atom of Base.string
| List of t Base.list

val to_string : t -> Base.string