fact: Record StringCFGV := mk_ott { VarSymes : list StringVarSpec; Terminals : list Terminal; TNonTerminals : list String.string; Patterns : list String.string; PatProds : list TermProd; Embeddings : list TermProd; GProds : list (TermProd * (list BindingInfo)) }.
imports: CFGV