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