|
|
|---|
|
|
|
|---|
Fixtype of renamings.
This is a product type introduced by fty::defprod.
The following invariant is enforced on the fields:
(and (no-duplicatesp-equal (strip-cars list))
(no-duplicatesp-equal (strip-cdrs list)))
These are alists from identifiers to identifiers that have unique keys and unique values, which we treat as lists of pairs rather than as alists as such (see discussion in renamings). We wrap the alist into a one-component product type and we add constraints for key and value uniqueness.