wax-lib

API

Library wax-lib

• Wax Embedding API for the Wax toolchain: assemble WAT or Wax source into a WebAssembly binary module, with conditional-compilation variables resolved.

Library wax-lib.conversion

• Wax_conversion

Library wax-lib.theo

• Theo Theory-Augmented Binary Decision Diagrams (BDDs)

Library wax-lib.utils

• Wax_utils

Library wax-lib.wasm

• Wax_wasm

Library wax-lib.wax

• Wax_lang