mcrl2_sys::data::ffi

Function true_term

Source 
pub fn true_term() -> UniquePtr<aterm> ⓘ
Expand description

Create the data::true term