Crate catlog_wasm

Source

Modules§

analyses
model
Wasm bindings for models of double theories.
model_diagram
Wasm bindings for diagrams in models of a double theory.
model_morphism
result
Result of fallible computation that translates to/from JavaScript.
theories
Wasm bindings for double theories from the catlog standard library.
theory
Wasm bindings for double theories.

Functions§

set_panic_hook