(fast-alist-fork! alist ans) is an alternative to fast-alist-fork that produces a normed result.
Logically this function is just fast-alist-fork; we leave it
enabled and would think it odd to ever prove a theorem about it.
Under the hood, this is the same as fast-alist-fork except that it
uses something like hons-acons! instead of hons-acons. You
generally should not use this function unless you really know what
you're doing and understand the drawbacks discussed in hons-acons!.
- Deprecated feature