Module Bnf_spec.Spec


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