package wax-lib

  1. Overview
  2. Docs
package wax-lib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

Library wax-lib.theo

  • Theo Theory-Augmented Binary Decision Diagrams (BDDs)

Library wax-lib.utils

Library wax-lib.wasm

Library wax-lib.wax