package pds-reachability

This module type describes the interface for a work collection.

This module type describes a work collection implementation. Such an implementation will, given a work type, produce a work collection.