path: root/examples/fracas/src/FraCaSBankEng.gf

--# -path=.:alltenses:prelude

concrete FraCaSBankEng of FraCaSBank = FraCaSBankI with (FraCaS = FraCaSEng);