Skip to main content

compile

sirius::bindings

Function compile 

Source 
pub fn compile(code: &str, z3_callback: Function) -> JsValue