package pds-reachability

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type Work_collection = sig ... end

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.