1 2 3 4 5 6
concrete TopEng of Top = UserEng, SystemEng ** open Prelude in { lin MUser q = q ; MSystem r = r ; }