--# -path=.:alltenses

concrete SammieSwe of Sammie = SammieI with
  (Syntax = SyntaxSwe), 
  (Symbolic = SymbolicSwe),
  (ParamSammie = ParamSammieSwe)
 ;