mcrl2_
sys
0.1.0
In mcrl2_
sys::
atermpp::
ffi
mcrl2_sys
::
atermpp
::
ffi
Function
print_aterm
Copy item path
Source
pub unsafe fn print_aterm(term:
*const
_aterm
) ->
String
Expand description
Converts an aterm to a string.