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

concrete SymbolNno of Symbol = CatNno ** SymbolScand with
  (ResScand = ResNno) ;