Function swipl::atom::get_atom

source ·
pub unsafe fn get_atom<F, R>(term: &Term<'_>, func: F) -> PrologResult<R>
where F: Fn(Option<&Atom>) -> R,
Expand description

Get an atom out of a term.

Safety

This is unsafe because we don’t check if the term is part of the active engine.