path: root/examples/godis-tram/Common/GodisUserFin.gf

--# -path=.:prelude:alltenses

concrete GodisUserFin of GodisUser = 
    GodisUserI with (GodisLang = GodisLangFin);