nuscr

A tool to manipulate and validate Scribble-style multiparty protocols
IN THIS PACKAGE
  • library nuscr.__private__.codegen
  • library nuscr.__private__.codegen_fstar
  • library nuscr.__private__.codegen_go
  • library nuscr.__private__.codegen_ocaml
  • library nuscr.__private__.mpst
  • library nuscr.__private__.syntaxtree
  • library nuscr.__private__.utils
  • library nuscr.lib

Libraries

This package provides the following libraries (via dune):

nuscr.__private__.codegen

Documentation: Codegen

Dependencies: base, stdio, unix, nuscr.__private__.codegen_fstar, nuscr.__private__.codegen_go, nuscr.__private__.codegen_ocaml, ppx_sexp_conv.runtime-lib, ppx_deriving.runtime

nuscr.__private__.codegen_fstar

Documentation: Fstarcodegen

Dependencies: base, nuscr.__private__.mpst, ppx_sexp_conv.runtime-lib, ppx_deriving.runtime

nuscr.__private__.codegen_go

Documentation:

Dependencies: base, nuscr.__private__.mpst, ppx_sexp_conv.runtime-lib, ppx_deriving.runtime

nuscr.__private__.codegen_ocaml

Documentation: Ocamlcodegen

Dependencies: base, nuscr.__private__.mpst, ppxlib.ast, ppxlib, ppx_sexp_conv.runtime-lib, ppx_deriving.runtime

nuscr.__private__.mpst

Documentation:

Dependencies: base, ocamlgraph, nuscr.__private__.utils, nuscr.__private__.syntaxtree, ppx_sexp_conv.runtime-lib, ppx_deriving.runtime

nuscr.lib

Documentation: Nuscrlib

Dependencies: base, stdio, ocamlgraph, ppxlib.ast, ppxlib, unix, process, nuscr.__private__.utils, nuscr.__private__.syntaxtree, nuscr.__private__.mpst, nuscr.__private__.codegen, ppx_sexp_conv.runtime-lib, ppx_deriving.runtime

nuscr.__private__.syntaxtree

Documentation:

Dependencies: base, nuscr.__private__.utils, ppx_sexp_conv.runtime-lib, ppx_deriving.runtime

nuscr.__private__.utils

Documentation:

Dependencies: base, stdio, process, ppx_sexp_conv.runtime-lib, ppx_deriving.runtime