1structure BasicTypes = 2struct 3 type charCode = int 4 type penalty = int 5 type dist = int 6 type size = int 7 8 datatype family = RM | MI | SY | EX 9 fun famNr RM = 0 | famNr MI = 1 | famNr SY = 2 | famNr EX = 3 10 11 type delim = (family * int * family * int) option 12 13 datatype style = D | T | S | SS 14 fun styleNr D = 0 | styleNr T = 1 | styleNr S = 2 | styleNr SS = 3 15 16 (* These numbers are only needed for vector indexing. *) 17 18 exception NotImplemented of string 19 exception CannotHappen 20end (* structure BasicTypes *) 21