pub unsafe fn create_aterm(
function: *const _function_symbol,
arguments: &[*const _aterm],
) -> *const _atermExpand description
Creates a term from the given function and arguments, must be protected before the busy flags are set to false.
ยงSafety
The function symbol and arguments will not be modified unless garbage collection marks the terms, which is done atomically.