path: root/examples/lrec-tutorial/face/FaceFin.gf

--# -path=.:present

concrete FaceFin of Face = FaceI with
  (Syntax = SyntaxFin), 
  (LexFace = LexFaceFin) ;