Source file `pds_reachability_basis.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
(*
   This module defines a module type signature used as the basis for the PDS
   reachability functor.
*)

open Pds_reachability_utils;;

(**
   A module type which serves as the basis for the functor which builds the
   PDS reachability implementation.
*)
module type Basis =
sig
  module State : Decorated_type
  module Stack_element : Decorated_type
end;;