1signature SIZE = 2sig 3 val size: BasicTypes.family -> BasicTypes.style -> BasicTypes.size 4end (* signature SIZE *) 5(*-----------*) 6 7structure Size: SIZE = 8struct 9 open BasicTypes 10 fun size _ D = 10 11 | size _ T = 10 12 | size EX _ = 10 13 | size _ S = 7 14 | size _ SS = 5 15end 16