package pds-reachability

  1. Overview
  2. Docs
package pds-reachability
Legend:
Library
Module
Module type
Parameter
Class
Class type
module 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.

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