1 2 3 4 5 6 7 8 9 10 11 12
pub static INTERPRETER_JS: &str = include_str!("./interpreter.js");
#[cfg(feature = "sledgehammer")]
mod sledgehammer_bindings;
#[cfg(feature = "sledgehammer")]
pub use sledgehammer_bindings::*;
#[cfg(feature = "web")]
mod bindings;
#[cfg(feature = "web")]
pub use bindings::Interpreter;