path: root/examples/sammie/SammieFin.gf

--# -path=.:alltenses

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