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