mcrl2_sys::atermpp::ffi

Function print_aterm

Source
pub unsafe fn print_aterm(term: *const _aterm) -> String
Expand description

Converts an aterm to a string.