1structure FontTypes  =
2struct
3  open BasicTypes
4  type fontNr  =  int
5  type varCharInfo  =  {top: charCode option,
6                        bot: charCode option,
7                        rep: charCode}
8  type charInfo  =  {width:    dist,
9                     height:   dist,
10                     depth:    dist,
11                     itCorr:   dist,
12                     accentSkew : dist,
13                     larger:   charCode option,
14                     varChar:  varCharInfo option}
15  type font = charInfo Vector.vector
16end
17