synth-cli-0.7.0 is not a library.
Synth CLI - WebAssembly-to-ARM Cortex-M AOT Compiler
Command-line interface for the Synth compiler. Compiles WASM/WAT files to bare-metal ARM Cortex-M ELF binaries with optional formal verification.