[unify_lists env lst1 lst2] unifies two lists of terms in current environment [env] and returns a new environment [env'] on success. It returns [NoUnify] on failure or if the lists are not equal length. */
(
env: &Environment,
heap: &mut Heap,
lst1: &[Arc<Term>],
lst2: &[Arc<Term>],
)
source not stored for this graph (policy: none)
no test coverage detected