Lines Matching refs:with
7 /* A finite map is a function from terms to terms with a finite
77 % file, you have no way of constructing a map with an unbound tail,
94 % of a finite map. The list may not have two elements with the same Key.
166 % unifies Domain with the ordered set representation of the domain
220 % unifies Inverse with the inverse of a finite invertible map.
238 % composes Map1 with the Predicate, so that K-V2 is in Map2 if
254 % unifies Range with the ordered set representation of the range of the
338 % O(lgN). Eventually this package should be merged with ASSOC.PL.
353 % applies the finite map Map to an argument, and unifies Result with
355 % value does not unify with Result. Note that this operation is O(N)