1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
instance DiffBul of DiffSlavic = open CommonSlavic, Prelude in { param Case = Acc | Dat ; Species = Indef | Def ; NForm = NF Number Species | NFSgDefNom | NFPlCount | NFVocative ; oper Agr = {gn : GenNum ; p : Person} ; agrP3 : GenNum -> Agr = \gn -> {gn = gn; p = P3} ; }