1 2 3 4 5 6
interface ResSlavic = DiffSlavic ** open CommonSlavic, Prelude in { oper Preposition : Type = {s : Str; c : Case}; }