lib.rs 797 B

123456789101112131415161718192021
  1. #![doc = include_str!("../README.md")]
  2. #![doc(html_logo_url = "https://avatars.githubusercontent.com/u/79236386")]
  3. #![doc(html_favicon_url = "https://avatars.githubusercontent.com/u/79236386")]
  4. pub static INTERPRETER_JS: &str = include_str!("./interpreter.js");
  5. pub static COMMON_JS: &str = include_str!("./common.js");
  6. #[cfg(feature = "sledgehammer")]
  7. mod sledgehammer_bindings;
  8. #[cfg(feature = "sledgehammer")]
  9. pub use sledgehammer_bindings::*;
  10. // Common bindings for minimal usage.
  11. #[cfg(all(feature = "minimal_bindings", feature = "web"))]
  12. pub mod minimal_bindings {
  13. use wasm_bindgen::{prelude::wasm_bindgen, JsValue};
  14. #[wasm_bindgen(module = "/src/common.js")]
  15. extern "C" {
  16. pub fn setAttributeInner(node: JsValue, name: &str, value: JsValue, ns: Option<&str>);
  17. }
  18. }