Think: a Domain Specific Language (DSL) called "X".
bytecode: DSLX bytecode interpreter, used in interpreting constexpr AST expressions. as quick-feedback execution (without needing to convert to XLS IR)cpp_transpiler: Library facilities that convert DSLX types to their C++ equivalents.exhaustivebness: Analyzer for DSLXmatchstatements that determines if all arms of thematchcover all possible inputs.frontend: DSLX token scanner, parser and AST nodes, and supporting data structures.fmt: DSLX auto-formatting facilities and tests.ir_convert: Routines for converting typechecked DSLX programs into XLS IR.lsp: DSLX server that implements the Language Server Protocol.run_routines: Library routines used in running DSLX programs and tests, e.g. from the main runner binary.stdlib: DSLX standard library modules -- these are intended to be included in any distribution as they include many very common facilities.tests: DSLX language-level tests, e.g., often for individual features or cross products of features in more "unit level" fashion than whole programs.type_system: DSLX type system / type inference library.