Cfg.Bnf_spec
module Spec : Cfg_intf.SPEC with type t = string with type nt = string with type prod = unit
module Bnf : Cfg_intf.CFG with module Spec = Spec