gf-3.10: gf-book/examples/chapter2/StringsBW.gf

concrete StringsBW of Strings = LettersCnc ** {
  lincat S = Str ;
  lin E = [] ;
  lin C head tail = tail ++ head ;
}