Up – Package index » pds-reachability » Library pds-reachability » Pds_reachability_work

Module `Pds_reachability_work`Source

Sourcemodule type Work_type = sig ... end

This module specifies the type used to describe work in a PDS reachability analysis as well as the interface for managing a pending work collection.

Source

module Make
  (B : Pds_reachability_basis.Basis)
  (T : 
    Pds_reachability_types.Types
      with module State = B.State
       and module Stack_element = B.Stack_element) : 
  Work_type with module B = B and module T = T