mcrl2_sys::data::ffi

Function create_jitty_rewriter

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

Creates an instance of the jitty rewriter.