pub unsafe fn create_aterm(
function: *const _function_symbol,
arguments: &[*const _aterm],
) -> *const _aterm
Expand 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.