Source file `bnf_spec.ml`

1
2
3
4
5
6
7
8
9
10
11
12
13
module Spec = struct
  type t = string
  type nt = string
  type prod = unit

  type symbol = NT of nt | T of t

  let compare_t = compare
  let compare_nt = compare
  let compare_prod = compare
end

module Bnf = Cfg_impl.Make (Spec)