--# -path=.:alltenses

concrete SammieFin of Sammie = SammieI with
  (Syntax = SyntaxFin), 
  (Symbolic = SymbolicFin),
  (ParamSammie = ParamSammieFin)
 ;