--# -path=.:alltenses

concrete SammieEng of Sammie = SammieI with
  (Syntax = SyntaxEng), 
  (Symbolic = SymbolicEng),
  (ParamSammie = ParamSammieEng) ;