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