mcrl2_sys::atermpp::ffi

Function initialise

Source 
pub fn initialise()
Expand description

Initialises the library.