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:

• Gocodegen
• Goenvs
• Goimpl
• Gonames

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:

• Mpst.Efsm
• Mpst.Expr Expressions, used in RefinementTypes pragma
• Mpst.Extraction
• Mpst.Gtype Global types
• Mpst.Ltype Local type management

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:

• Syntaxtree.Lexer
• Syntaxtree.Parser
• Syntaxtree.Symtable
• Syntaxtree.Syntax

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

nuscr.__private__.utils

Documentation:

• Err
• Fsutil
• Loc
• Name
• Namegen
• Names
• Pragma This module contains variables configuarations, to be set by pragmas or command line arguments, not to be changed for the duration of the program
• Solver

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