Libraries

This package provides the following libraries (via dune):

netkat.kat

Documentation:

• Kat.Ast Generic AST for Kleene Algebra with Tests (KAT).
• Kat.Hom Operations on ASTs often take the form of homomorphisms. Examples include syntax transformations, compilers, or interpreters. This module provides tools for conveniently defining such homomorphisms, eliminating boilerplate code.
• Kat.Optimize Smart constructors and algebraic optimization for KAT.

Dependencies: base, idds, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base_quickcheck

netkat.katbb_lib

Documentation:

• Katbb_lib.Ast
• Katbb_lib.Idd_compiler
• Katbb_lib.Lexer
• Katbb_lib.Menhir_parser
• Katbb_lib.Parser

Dependencies: base, idds, netkat.kat, nice_parser, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base_quickcheck

netkat.katbv_lib

Documentation:

• Katbv_lib.Ast
• Katbv_lib.Bitstring
• Katbv_lib.Compiler
• Katbv_lib.Lexer
• Katbv_lib.Menhir_parser
• Katbv_lib.Parser
• Katbv_lib.Semantics

Dependencies: base, netkat.kat, netkat.katbb_lib, netkat.tables, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base_quickcheck

netkat.repl

Documentation:

• Repl.Repl_katbb
• Repl.Repl_katbv

Dependencies: async, core, netkat.katbb_lib, netkat.katbv_lib, idds, mparser, mparser.re, netkat.tables, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base, base_quickcheck

netkat.tables

Documentation: Tables

Dependencies: base, idds, netkat.kat, printbox, printbox.html, open, tyxml, ppx_sexp_conv.runtime-lib, ppx_compare.runtime-lib, ppx_enumerate.runtime-lib, ppx_hash.runtime-lib, ppx_here.runtime-lib, ppx_assert.runtime-lib, ppx_bench.runtime-lib, bin_prot, fieldslib, ppx_inline_test.runtime-lib, ppx_module_timer.runtime, typerep, variantslib, ppx_expect.collector, ppx_expect.config, base_quickcheck