mcrl2_sys::data::ffi

Type Alias aterm

Source 
pub type aterm = aterm;

Aliased Typeยง

struct aterm { /* private fields */ }