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.