mcrl2_sys::atermpp::ffi

Function aterm_from_string

Source
pub fn aterm_from_string(text: String) -> Result<UniquePtr<aterm>, Exception>
Expand description

Parses the given string and returns an aterm