mcrl2_sys::atermpp::ffi

Function lock_shared

Source 
pub fn lock_shared()
Expand description

Provides shared access to the aterm library.