path: root/grammars/multiple/City.gf

abstract City = {
  cat 
    City ;
  fun
    MkCity : String -> City ;
} ;