--# -path=.:../abstract:../common

concrete SymbolSwa of Symbol = CatSwa ** open Prelude, ResSwa in {



}