mcrl2_sys::data::ffi

Function false_term

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

Create the data::false term