mcrl2_sys::data::ffi

Function create_jitty_compiling_rewriter

Source
pub fn create_jitty_compiling_rewriter(
    data_spec: &data_specification,
) -> UniquePtr<RewriterCompilingJitty> 
Expand description

Creates an instance of the compiling jitty rewriter.