Module Bnf_spec.Bnf


module Bnf: CFG  with module Spec = Spec