Module Bnf_spec

module Bnf_spec: sig .. end

module Spec: SPEC 
    with type t = string 
    with type nt = string 
    with type prod = unit
module Bnf: CFG  with module Spec = Spec