Module CollectionsTypeTracking

Provides predicates and clases for type-tracking collections.

Import path

import javascript

collectionStep	Gets the result from a single step through a collection, from `pred` to `result` summarized by `summary`.
collectionStep	Gets the result from a single step through a collection, from `pred` with tracker `t2` to `result` with tracker `t`.