Function swipl::blob::unify_with_arc

source ·
pub unsafe fn unify_with_arc<T>(
    term: &Term<'_>,
    blob_definition: &'static PL_blob_t,
    arc: &Arc<T>
) -> bool
Expand description

Unify the term with the given Arc, using the given blob definition to do so.

This is used from the arc blob macros.

Safety

This is unsafe cause no attempt is made to ensure that the blob definition matches the given data.