nuscr
-
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
-
module Nuscrlib
-
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:
Mpst.Efsm
Mpst.Expr
Expressions, used inRefinementTypes
pragmaMpst.Extraction
Mpst.Gtype
Global typesMpst.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:
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 programSolver
Dependencies: base, stdio, process, ppx_sexp_conv.runtime-lib, ppx_deriving.runtime