This module defines a data structure used in a PDS reachability analysis.
module type Structure = sig ... endThe type of the module which defines the data structure used within the analysis.
module Make
(Basis : Pds_reachability_basis.Basis)
(Dph :
Pds_reachability_types_stack.Dynamic_pop_handler
with module Stack_element = Basis.Stack_element
and module State = Basis.State)
(Types :
Pds_reachability_types.Types
with module State = Basis.State
and module Stack_element = Basis.Stack_element
and module Targeted_dynamic_pop_action = Dph.Targeted_dynamic_pop_action
and module Untargeted_dynamic_pop_action =
Dph.Untargeted_dynamic_pop_action) :
Structure
with module Stack_element = Basis.Stack_element
and module Edge = Types.Edge
and module Node = Types.Node
and module Targeted_dynamic_pop_action = Types.Targeted_dynamic_pop_action
and module Untargeted_dynamic_pop_action =
Types.Untargeted_dynamic_pop_action